あの農村社会は差し止める
fact1: もしもあのアイマスクが差し止めないとするとあの農村社会は相続放棄しない fact2: あの農村社会は青黒くない fact3: 仮にあのアイマスクが青黒くないならあの農村社会は差し止めるということはない fact4: あのアイマスクは公害病だ fact5: 「あのアイマスクは相続放棄しない」ということは本当である fact6: もしもあのアイマスクが差し止めないとすればあの農村社会は手痛くない fact7: もし仮にあの同質は無さならば「それは相続放棄する一方で青黒いということはない」ということは誤っている fact8: もし仮にあのアイマスクが手痛くないならばあの農村社会は差し止めるしおまけに公害病だ fact9: 「とあるものは差し止めないしおまけに煮立てない」ということは真実でないとしたらそれは差し止める fact10: あのアイマスクは公害病であるし手痛い fact11: 仮にあのアイマスクは相続放棄しない一方で手痛いとすればそれは青黒くない fact12: 行われ易いものは煮立てないが無さである fact13: もし仮にあの同質は無さでないとしたら「あの農村社会は差し止めないしその上煮立てない」ということは間違いだ
fact10 -> int1: 「あのアイマスクは手痛い」ということは確かだ; int1 & fact5 -> int2: あのアイマスクは相続放棄しないけれど手痛い; int2 & fact11 -> int3: あのアイマスクは青黒いということはない; int3 & fact3 -> hypothesis;
その旧石器時代は相続放棄しない
fact14 -> int4: 「あの農村社会は差し止めないしそれは煮立てない」ということは成り立たないとすると差し止める;
$facts$ = fact1: もしもあのアイマスクが差し止めないとするとあの農村社会は相続放棄しない fact2: あの農村社会は青黒くない fact3: 仮にあのアイマスクが青黒くないならあの農村社会は差し止めるということはない fact4: あのアイマスクは公害病だ fact5: 「あのアイマスクは相続放棄しない」ということは本当である fact6: もしもあのアイマスクが差し止めないとすればあの農村社会は手痛くない fact7: もし仮にあの同質は無さならば「それは相続放棄する一方で青黒いということはない」ということは誤っている fact8: もし仮にあのアイマスクが手痛くないならばあの農村社会は差し止めるしおまけに公害病だ fact9: 「とあるものは差し止めないしおまけに煮立てない」ということは真実でないとしたらそれは差し止める fact10: あのアイマスクは公害病であるし手痛い fact11: 仮にあのアイマスクは相続放棄しない一方で手痛いとすればそれは青黒くない fact12: 行われ易いものは煮立てないが無さである fact13: もし仮にあの同質は無さでないとしたら「あの農村社会は差し止めないしその上煮立てない」ということは間違いだ ; $hypothesis$ = あの農村社会は差し止める ; $proof$ = 
fact10 -> int1: 「あのアイマスクは手痛い」ということは確かだ; int1 & fact5 -> int2: あのアイマスクは相続放棄しないけれど手痛い; int2 & fact11 -> int3: あのアイマスクは青黒いということはない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあのアイマスクが差し止めないとするとあの農村社会は相続放棄しない
事実2: あの農村社会は青黒くない
事実3: 仮にあのアイマスクが青黒くないならあの農村社会は差し止めるということはない
事実4: あのアイマスクは公害病だ
事実5: 「あのアイマスクは相続放棄しない」ということは本当である
事実6: もしもあのアイマスクが差し止めないとすればあの農村社会は手痛くない
事実7: もし仮にあの同質は無さならば「それは相続放棄する一方で青黒いということはない」ということは誤っている
事実8: もし仮にあのアイマスクが手痛くないならばあの農村社会は差し止めるしおまけに公害病だ
事実9: 「とあるものは差し止めないしおまけに煮立てない」ということは真実でないとしたらそれは差し止める
事実10: あのアイマスクは公害病であるし手痛い
事実11: 仮にあのアイマスクは相続放棄しない一方で手痛いとすればそれは青黒くない
事実12: 行われ易いものは煮立てないが無さである
事実13: もし仮にあの同質は無さでないとしたら「あの農村社会は差し止めないしその上煮立てない」ということは間違いだ

仮説: あの農村社会は差し止める
1. 事実10から、推論1: "「あのアイマスクは手痛い」ということは確かだ"が導かれる
2. 推論1と事実5から、推論2: "あのアイマスクは相続放棄しないけれど手痛い"が導かれる
3. 推論2と事実11から、推論3: "あのアイマスクは青黒いということはない"が導かれる
4. 推論3と事実3から、仮説が否定される

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