「あの揚屋町は罹り易いしそれにトレーンだ」ということは成り立たない
fact1: 仮に蛸が四角いとしたら欲深くない fact2: もしもあの陽子親和力が検索方法でないし加えて形成出来ないとすればあの予定日は蛸だ fact3: あの陽子親和力は出迎えない fact4: 「あの予定日は四角いということはない」ということは成り立つとしたらあの揚屋町は罹り易いし加えてトレーンだ fact5: あの予定日はトレーンでない fact6: もしあの陽子親和力が出迎えないとすれば検索方法でないしおまけに形成出来るということはない fact7: あの医療施設は加圧しないし険でない fact8: 「あの医療施設は紛らす」ということは本当ならばあの予定日は欲深い fact9: もしあの医療施設は加圧しないし険であるということはないならばそれは紛らす
fact6 & fact3 -> int1: あの陽子親和力は検索方法でなくて加えてそれは形成出来ない; int1 & fact2 -> int2: あの予定日は蛸である; void -> assump1: 以下のように仮定する。あの予定日は四角い; int2 & assump1 -> int3: あの予定日は蛸であるしまた四角い; fact1 -> int4: もしあの予定日が蛸であるしそれが四角いとするとそれは欲深くない; int3 & int4 -> int5: あの予定日は欲深くない; fact7 & fact9 -> int6: あの医療施設は紛らす; int6 & fact8 -> int7: 「あの予定日は欲深い」ということは本当である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの予定日は四角くない; int9 & fact4 -> hypothesis;
$facts$ = fact1: 仮に蛸が四角いとしたら欲深くない fact2: もしもあの陽子親和力が検索方法でないし加えて形成出来ないとすればあの予定日は蛸だ fact3: あの陽子親和力は出迎えない fact4: 「あの予定日は四角いということはない」ということは成り立つとしたらあの揚屋町は罹り易いし加えてトレーンだ fact5: あの予定日はトレーンでない fact6: もしあの陽子親和力が出迎えないとすれば検索方法でないしおまけに形成出来るということはない fact7: あの医療施設は加圧しないし険でない fact8: 「あの医療施設は紛らす」ということは本当ならばあの予定日は欲深い fact9: もしあの医療施設は加圧しないし険であるということはないならばそれは紛らす ; $hypothesis$ = 「あの揚屋町は罹り易いしそれにトレーンだ」ということは成り立たない ; $proof$ = 
fact6 & fact3 -> int1: あの陽子親和力は検索方法でなくて加えてそれは形成出来ない; int1 & fact2 -> int2: あの予定日は蛸である; void -> assump1: 以下のように仮定する。あの予定日は四角い; int2 & assump1 -> int3: あの予定日は蛸であるしまた四角い; fact1 -> int4: もしあの予定日が蛸であるしそれが四角いとするとそれは欲深くない; int3 & int4 -> int5: あの予定日は欲深くない; fact7 & fact9 -> int6: あの医療施設は紛らす; int6 & fact8 -> int7: 「あの予定日は欲深い」ということは本当である; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの予定日は四角くない; int9 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮に蛸が四角いとしたら欲深くない
事実2: もしもあの陽子親和力が検索方法でないし加えて形成出来ないとすればあの予定日は蛸だ
事実3: あの陽子親和力は出迎えない
事実4: 「あの予定日は四角いということはない」ということは成り立つとしたらあの揚屋町は罹り易いし加えてトレーンだ
事実5: あの予定日はトレーンでない
事実6: もしあの陽子親和力が出迎えないとすれば検索方法でないしおまけに形成出来るということはない
事実7: あの医療施設は加圧しないし険でない
事実8: 「あの医療施設は紛らす」ということは本当ならばあの予定日は欲深い
事実9: もしあの医療施設は加圧しないし険であるということはないならばそれは紛らす

仮説: 「あの揚屋町は罹り易いしそれにトレーンだ」ということは成り立たない
1. 事実6と事実3から、推論1: "あの陽子親和力は検索方法でなくて加えてそれは形成出来ない"が導かれる
2. 推論1と事実2から、推論2: "あの予定日は蛸である"が導かれる
3. 仮定1: 以下のように仮定する。あの予定日は四角い
4. 推論2と仮定1から、推論3: "あの予定日は蛸であるしまた四角い"が導かれる
5. 事実1から、推論4: "もしあの予定日が蛸であるしそれが四角いとするとそれは欲深くない"が導かれる
6. 推論3と推論4から、推論5: "あの予定日は欲深くない"が導かれる
7. 事実7と事実9から、推論6: "あの医療施設は紛らす"が導かれる
8. 推論6と事実8から、推論7: "「あの予定日は欲深い」ということは本当である"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの予定日は四角くない"が導かれる
11. 推論9と事実4から、仮説が否定される

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