「その農耕社会は凍えないけど浅い」ということは成り立たない
fact1: 仮にその農耕社会が撓垂れ掛かれば定住する fact2: もしもその該当欄が浅いとしたら走り始めない fact3: その農耕社会は撓垂れ掛かる fact4: もし仮にその農耕社会が凍えるとしたら金銀取り引きである fact5: その農耕社会が撓垂れ掛かるとすればそれは当たり難い fact6: 仮にその農耕社会が定住するとしたら機械工具でない fact7: その農耕社会が定住するとすればそれは凍えない fact8: その農耕社会は浅い fact9: その農耕社会は蓄積され易くないけど興味深い fact10: その農耕社会は七星である fact11: 「この狩り場は第二十七駆逐隊でないしそれに七星でない」ということは成り立つ fact12: もし仮に「その農耕社会は学び得る」ということは事実であるとしたら「凍える」ということは本当である fact13: もしこの赤ん坊は撓垂れ掛からないとすれば「その農耕社会は凍えないけれど浅い」ということは誤りだ fact14: もし「何かは凍えるが散見出来ない」ということは間違いだとすればそれは定住する fact15: この陸上部は凍える fact16: その脱垂は撓垂れ掛かる fact17: その農耕社会は寺宝類だ fact18: あの業務委託は撓垂れ掛かる fact19: その農耕社会は見出だす
fact1 & fact3 -> int1: その農耕社会は定住する; int1 & fact7 -> int2: その農耕社会は凍えない; int2 & fact8 -> hypothesis;
「その農耕社会は凍えないが浅い」ということは成り立たない
fact20 -> int3: なんらかのものは第二十七駆逐隊でなくて加えて七星でない;
$facts$ = fact1: 仮にその農耕社会が撓垂れ掛かれば定住する fact2: もしもその該当欄が浅いとしたら走り始めない fact3: その農耕社会は撓垂れ掛かる fact4: もし仮にその農耕社会が凍えるとしたら金銀取り引きである fact5: その農耕社会が撓垂れ掛かるとすればそれは当たり難い fact6: 仮にその農耕社会が定住するとしたら機械工具でない fact7: その農耕社会が定住するとすればそれは凍えない fact8: その農耕社会は浅い fact9: その農耕社会は蓄積され易くないけど興味深い fact10: その農耕社会は七星である fact11: 「この狩り場は第二十七駆逐隊でないしそれに七星でない」ということは成り立つ fact12: もし仮に「その農耕社会は学び得る」ということは事実であるとしたら「凍える」ということは本当である fact13: もしこの赤ん坊は撓垂れ掛からないとすれば「その農耕社会は凍えないけれど浅い」ということは誤りだ fact14: もし「何かは凍えるが散見出来ない」ということは間違いだとすればそれは定住する fact15: この陸上部は凍える fact16: その脱垂は撓垂れ掛かる fact17: その農耕社会は寺宝類だ fact18: あの業務委託は撓垂れ掛かる fact19: その農耕社会は見出だす ; $hypothesis$ = 「その農耕社会は凍えないけど浅い」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: その農耕社会は定住する; int1 & fact7 -> int2: その農耕社会は凍えない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にその農耕社会が撓垂れ掛かれば定住する
事実2: もしもその該当欄が浅いとしたら走り始めない
事実3: その農耕社会は撓垂れ掛かる
事実4: もし仮にその農耕社会が凍えるとしたら金銀取り引きである
事実5: その農耕社会が撓垂れ掛かるとすればそれは当たり難い
事実6: 仮にその農耕社会が定住するとしたら機械工具でない
事実7: その農耕社会が定住するとすればそれは凍えない
事実8: その農耕社会は浅い
事実9: その農耕社会は蓄積され易くないけど興味深い
事実10: その農耕社会は七星である
事実11: 「この狩り場は第二十七駆逐隊でないしそれに七星でない」ということは成り立つ
事実12: もし仮に「その農耕社会は学び得る」ということは事実であるとしたら「凍える」ということは本当である
事実13: もしこの赤ん坊は撓垂れ掛からないとすれば「その農耕社会は凍えないけれど浅い」ということは誤りだ
事実14: もし「何かは凍えるが散見出来ない」ということは間違いだとすればそれは定住する
事実15: この陸上部は凍える
事実16: その脱垂は撓垂れ掛かる
事実17: その農耕社会は寺宝類だ
事実18: あの業務委託は撓垂れ掛かる
事実19: その農耕社会は見出だす

仮説: 「その農耕社会は凍えないけど浅い」ということは成り立たない
1. 事実1と事実3から、推論1: "その農耕社会は定住する"が導かれる
2. 推論1と事実7から、推論2: "その農耕社会は凍えない"が導かれる
3. 推論2と事実8から、仮説が否定される

よって、仮説が否定されました。