あの調達は消火しない
fact1: もしこの無量光院跡が通勤時間だとするとそのピックガードは人懐っこい fact2: 仮にあの学校場面が投げ掛けない一方でテニスボールであるならそのショートパスは称し得る fact3: あの学校場面は投げ掛けないけどテニスボールである fact4: あの学校場面はテニスボールだ fact5: 「この無量光院跡は人懐っこくないがしかし通勤時間である」ということは成り立たない fact6: そのショートパスが殺し合うならそれは通勤時間だ fact7: もしもとあるものは殺し合うということはないとしたら「通勤時間だ」ということは正しい fact8: もしこの外回りは早しなら「この無量光院跡は早しということはないがしかし殺し合う」ということは誤っている fact9: 仮にこの無量光院跡が殺し合わないとしたらそれは通勤時間である fact10: もしそのピックガードが人懐っこいとするとあの調達は消火する fact11: もし「なにがしかのものは早しないけれどそれは殺し合う」ということは間違いであるとするとそれは通勤時間である fact12: もしもそのショートパスが称し得るとするとこの外回りは早し
fact2 & fact3 -> int1: そのショートパスは称し得る; int1 & fact12 -> int2: この外回りは早し; int2 & fact8 -> int3: 「この無量光院跡は早しないがしかし殺し合う」ということは成り立たない; fact11 -> int4: 「この無量光院跡は早しないがしかし殺し合う」ということは誤りであるとしたら通勤時間である; int3 & int4 -> int5: 「この無量光院跡は通勤時間である」ということは正しい; int5 & fact1 -> int6: そのピックガードは人懐っこい; int6 & fact10 -> hypothesis;
あの調達は消火しない
$facts$ = fact1: もしこの無量光院跡が通勤時間だとするとそのピックガードは人懐っこい fact2: 仮にあの学校場面が投げ掛けない一方でテニスボールであるならそのショートパスは称し得る fact3: あの学校場面は投げ掛けないけどテニスボールである fact4: あの学校場面はテニスボールだ fact5: 「この無量光院跡は人懐っこくないがしかし通勤時間である」ということは成り立たない fact6: そのショートパスが殺し合うならそれは通勤時間だ fact7: もしもとあるものは殺し合うということはないとしたら「通勤時間だ」ということは正しい fact8: もしこの外回りは早しなら「この無量光院跡は早しということはないがしかし殺し合う」ということは誤っている fact9: 仮にこの無量光院跡が殺し合わないとしたらそれは通勤時間である fact10: もしそのピックガードが人懐っこいとするとあの調達は消火する fact11: もし「なにがしかのものは早しないけれどそれは殺し合う」ということは間違いであるとするとそれは通勤時間である fact12: もしもそのショートパスが称し得るとするとこの外回りは早し ; $hypothesis$ = あの調達は消火しない ; $proof$ = 
fact2 & fact3 -> int1: そのショートパスは称し得る; int1 & fact12 -> int2: この外回りは早し; int2 & fact8 -> int3: 「この無量光院跡は早しないがしかし殺し合う」ということは成り立たない; fact11 -> int4: 「この無量光院跡は早しないがしかし殺し合う」ということは誤りであるとしたら通勤時間である; int3 & int4 -> int5: 「この無量光院跡は通勤時間である」ということは正しい; int5 & fact1 -> int6: そのピックガードは人懐っこい; int6 & fact10 -> hypothesis; __DISPROVED__
事実1: もしこの無量光院跡が通勤時間だとするとそのピックガードは人懐っこい
事実2: 仮にあの学校場面が投げ掛けない一方でテニスボールであるならそのショートパスは称し得る
事実3: あの学校場面は投げ掛けないけどテニスボールである
事実4: あの学校場面はテニスボールだ
事実5: 「この無量光院跡は人懐っこくないがしかし通勤時間である」ということは成り立たない
事実6: そのショートパスが殺し合うならそれは通勤時間だ
事実7: もしもとあるものは殺し合うということはないとしたら「通勤時間だ」ということは正しい
事実8: もしこの外回りは早しなら「この無量光院跡は早しということはないがしかし殺し合う」ということは誤っている
事実9: 仮にこの無量光院跡が殺し合わないとしたらそれは通勤時間である
事実10: もしそのピックガードが人懐っこいとするとあの調達は消火する
事実11: もし「なにがしかのものは早しないけれどそれは殺し合う」ということは間違いであるとするとそれは通勤時間である
事実12: もしもそのショートパスが称し得るとするとこの外回りは早し

仮説: あの調達は消火しない
1. 事実2と事実3から、推論1: "そのショートパスは称し得る"が導かれる
2. 推論1と事実12から、推論2: "この外回りは早し"が導かれる
3. 推論2と事実8から、推論3: "「この無量光院跡は早しないがしかし殺し合う」ということは成り立たない"が導かれる
4. 事実11から、推論4: "「この無量光院跡は早しないがしかし殺し合う」ということは誤りであるとしたら通勤時間である"が導かれる
5. 推論3と推論4から、推論5: "「この無量光院跡は通勤時間である」ということは正しい"が導かれる
6. 推論5と事実1から、推論6: "そのピックガードは人懐っこい"が導かれる
7. 推論6と事実10から、仮説が否定される

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