「この風船ガムは御疲れである」ということは正しい
fact1: 仮にこの風船ガムが参入出来るなら攻勢しない fact2: 「あの一日前はパーマーストンであるし早い」ということは間違いなら「パーマーストンでない」ということは成り立つ fact3: もしもあの階層メニューは図々しかないならば「あの一日前はパーマーストンであるし早い」ということは正しくない fact4: その源は攻勢するしそれは医である fact5: あの階層メニューは図々しかない fact6: もしこの風船ガムが攻勢するかパーマーストンであるかもしくはどちらもだとすると「それは御疲れでない」ということは成り立つ fact7: この風船ガムは攻勢するしなにわ筋線だ fact8: この風船ガムは早くない fact9: その正眼は攻勢する fact10: もしこの風船ガムが早くないとしたらあのサンプルスクリプトは配すし更に御疲れだ fact11: この風船ガムはなにわ筋線である
fact7 -> int1: この風船ガムは攻勢する; int1 -> int2: この風船ガムは攻勢するかそれはパーマーストンだ; int2 & fact6 -> hypothesis;
fact7 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {C}{a}); int2 & fact6 -> hypothesis;
あのサンプルスクリプトは配すしおまけにパーマーストンだ
fact13 & fact12 -> int3: あのサンプルスクリプトは配すしかつ御疲れだ; int3 -> int4: あのサンプルスクリプトは配す;
$facts$ = fact1: 仮にこの風船ガムが参入出来るなら攻勢しない fact2: 「あの一日前はパーマーストンであるし早い」ということは間違いなら「パーマーストンでない」ということは成り立つ fact3: もしもあの階層メニューは図々しかないならば「あの一日前はパーマーストンであるし早い」ということは正しくない fact4: その源は攻勢するしそれは医である fact5: あの階層メニューは図々しかない fact6: もしこの風船ガムが攻勢するかパーマーストンであるかもしくはどちらもだとすると「それは御疲れでない」ということは成り立つ fact7: この風船ガムは攻勢するしなにわ筋線だ fact8: この風船ガムは早くない fact9: その正眼は攻勢する fact10: もしこの風船ガムが早くないとしたらあのサンプルスクリプトは配すし更に御疲れだ fact11: この風船ガムはなにわ筋線である ; $hypothesis$ = 「この風船ガムは御疲れである」ということは正しい ; $proof$ = 
fact7 -> int1: この風船ガムは攻勢する; int1 -> int2: この風船ガムは攻勢するかそれはパーマーストンだ; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にこの風船ガムが参入出来るなら攻勢しない
事実2: 「あの一日前はパーマーストンであるし早い」ということは間違いなら「パーマーストンでない」ということは成り立つ
事実3: もしもあの階層メニューは図々しかないならば「あの一日前はパーマーストンであるし早い」ということは正しくない
事実4: その源は攻勢するしそれは医である
事実5: あの階層メニューは図々しかない
事実6: もしこの風船ガムが攻勢するかパーマーストンであるかもしくはどちらもだとすると「それは御疲れでない」ということは成り立つ
事実7: この風船ガムは攻勢するしなにわ筋線だ
事実8: この風船ガムは早くない
事実9: その正眼は攻勢する
事実10: もしこの風船ガムが早くないとしたらあのサンプルスクリプトは配すし更に御疲れだ
事実11: この風船ガムはなにわ筋線である

仮説: 「この風船ガムは御疲れである」ということは正しい
1. 事実7から、推論1: "この風船ガムは攻勢する"が導かれる
2. 推論1から、推論2: "この風船ガムは攻勢するかそれはパーマーストンだ"が導かれる
3. 推論2と事実6から、仮説が否定される

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