Hebrew source · English research interface
Bava Metzia 6:3: A hired animal
Compare the agreed route, actual route and reported event across all 12 admitted cases. Inspect positive and negative support separately.
Explore in the interactive demo →הַשּׂוֹכֵר אֶת הַחֲמוֹר לְהוֹלִיכָהּ בָּהָר וְהוֹלִיכָהּ בַּבִּקְעָה, בַּבִּקְעָה וְהוֹלִיכָהּ בָּהָר, אֲפִלּוּ זוֹ עֶשֶׂר מִילִין וְזוֹ עֶשֶׂר מִילִין, וָמֵתָה, חַיָּב. הַשּׂוֹכֵר אֶת הַחֲמוֹר וְהִבְרִיקָה, אוֹ שֶׁנַּעֲשֵׂית אַנְגַּרְיָא, אוֹמֵר לוֹ הֲרֵי שֶׁלְּךָ לְפָנֶיךָ. מֵתָה אוֹ נִשְׁבְּרָה, חַיָּב לְהַעֲמִיד לוֹ חֲמוֹר. הַשּׂוֹכֵר אֶת הַחֲמוֹר לְהוֹלִיכָהּ בָּהָר וְהוֹלִיכָהּ בַּבִּקְעָה, אִם הֶחֱלִיקָה, פָּטוּר, וְאִם הוּחַמָּה, חַיָּב. לְהוֹלִיכָהּ בַּבִּקְעָה וְהוֹלִיכָהּ בָּהָר, אִם הֶחֱלִיקָה, חַיָּב, וְאִם הוּחַמָּה, פָּטוּר. אִם מֵחֲמַת הַמַּעֲלָה, חַיָּב:
Does the hirer owe the owner for the hired animal?
Compare the agreed route, actual route and reported event across all 12 admitted cases. Inspect positive and negative support separately.
The same hirer, animal, addressee, case role and active profile remain fixed.
The table contains saved Arxo calculations from the admitted scene contract. The interactive lab lets you change choices, open the matching saved version, keep case A and compare its returned evidence with case B. Fresh execution requires the local native server.
| Agreed route and actual route | What happened to the animal? | Returned answer | Explore |
|---|---|---|---|
| Hired for descent; taken uphill | It slipped | Denied | Open saved case ↗ |
| Hired for descent; taken uphill | It overheated | Established | Open saved case ↗ |
| Hired for descent; taken uphill | Both circumstances supplied | Both positive and negative support | Open saved case ↗ |
| Hired for descent; taken uphill | Neither circumstance supplied | Neither side established | Open saved case ↗ |
| Hired for ascent; taken downhill | It slipped | Both positive and negative support | Open saved case ↗ |
| Hired for ascent; taken downhill | It overheated | Both positive and negative support | Open saved case ↗ |
| Hired for ascent; taken downhill | Both circumstances supplied | Both positive and negative support | Open saved case ↗ |
| Hired for ascent; taken downhill | Neither circumstance supplied | Established | Open saved case ↗ |
| Route not supplied | It slipped | Neither side established | Open saved case ↗ |
| Route not supplied | It overheated | Neither side established | Open saved case ↗ |
| Route not supplied | Both circumstances supplied | Neither side established | Open saved case ↗ |
| Route not supplied | Neither circumstance supplied | Neither side established | Open saved case ↗ |
Read the states separately.
Established means positive-only support. Denied means negative-only support. Both supports preserves support for a proposition and its negation. Neither means neither side is supported; it does not deny the proposition. Normative positions such as Active and Defeated are separate from those factual truth states.
What supports an answer?
The interactive inspector follows actual proof premises, rule applications and source anchors. The A/B map aligns semantic steps while preserving the two original records; its differences do not establish a sole or minimal cause.
Inspect saved calculation identities
- Case 170163a84220e2abf9e67ed8Request: ab92c30c50405e254558a1afd91fdaed08565c533fe9bfc327b3d6f9231df205Result: 5bebbcaf7dc650e52354d66d569d6824cf5d1ebf0858696b5019fed8b75429dd
- Case 55d64fb60937f04763d52fd0Request: a2785af502e473bfd79758df4b4b30ba6624eaae9c913e031145df8432070114Result: 58051456c5a471e6c14ed8dc8203904f903d6dc2c648ba5623d556a7602a47b4
- Case b679342cdacbaf4ae6018492Request: ff292174a6dbef1fd1de52b795fa14986e3b06b989c611fe13d9a235b6e33833Result: e31c1d4c54aa842725aeae937260d1a7ecfe1e06d476d1ff9281ce2016e00bd4
- Case d95ba200e78df0ce8f9dd6afRequest: 3ee51e9d910745c5405ccae15e2b942c7a5701763a4e1975871932e4ce394319Result: 00a77d2b6e147369e1f264bed46e23a08335a7f0b30fe06755773bb413561b40
- Case 59b821f1c834af3c78aef440Request: 3de63627bd49639fb15894a6843b31247df493a00275b62031f818cea1ba00edResult: 2b8feb445a62d7aef87e17b6b5f621c5896d3ed1e560473f30dd25bdb71f61ef
- Case 21e3fb16de79361f9aad9bccRequest: cb98385aafd5ac70a53b81f3104cd1e35c631cf6ff61e26fc58d7e42eead4444Result: cba122a3f17492dc433cbd88babfc75ea8ae2fd092f5eb9bd08658dc9c4c5769
- Case af5299e745df102ec86dd138Request: 63c28daeb9678f597c679c227b305bbc350ee800318baaeb59a0a1985e61c6b3Result: 7180f5813fb49b75f8df36a6f301075b5f4011d20d17a0d45b56548d58813b83
- Case 02518161939398e828019341Request: c7413a1d980b9a4af1fa9c0ccf1a60c72996bfe3450945e75a42d4cdf3cac601Result: 74d02b884b2ea0f9dd10b693335cf93c6f1b90213cf603242df85851fee3e903
- Case 7e66a4874db490f2fde3cd5bRequest: cbdae40fa8ccb4de71cd1c1078f78d43baf8379c0868801cca10f4365288e75eResult: 968f832222a3a2575b60ee6a5499d8cb1dd507c3b7de8967cdc870e86d102e5f
- Case f7b8b40f09db8316eb6d1b91Request: dc1b3a8e0aa82733b1b2376888d1748d4c1f4274b112f17b4b64e4c60fda0656Result: f7766dfefbd1886494a9d2eb9b803e48964bf7b18ad644b8174fa293e82fb598
- Case d131661012bd7c0c0906767dRequest: e9e0a6aec2048ec0dfc99baf87891df4bb648a3c55e6bad86557833af84ebd2fResult: ada446e991125b79b33ba7b2f65113a0204311ea6cb89f2a33a9aa74510a8f07
- Case 05025f7e96d59ea5b036cc42Request: 62b54310235c459ac6ce6836cc81cc75a4de1f6beaa117850e48818e5c231079Result: 06acf45b13bf8cbe717efc4a3ba7d43add9687c7021741641380cab041382d18
Execution and sources
These are historical standalone model calculations. All admitted combinations have exact replay; ten original baseline documents were checked unchanged. Independent oracle evaluation and normative acceptance were not run.