「あの一地方都市はいじらしいしその上優し過ぎる」ということは真実だということはない
fact1: あの本犯は馬上人物でない fact2: もし「「噛み合うし三十二相だ」ということは成り立たない」物があるとするとあの一地方都市はいじらしい fact3: 仮になにかは同号でないとすれば「それはいじらしくてかつ優し過ぎる」ということは誤っている fact4: あの一地方都市は保険給付する fact5: 「あるものは噛み合うし加えて三十二相だ」ということは成り立つ fact6: そのペチカママは優し過ぎる fact7: もし仮にあの一地方都市が同号だとすればこの戦機はいじらしくない fact8: もし「三十二相でない」ものがあるならあの一地方都市はいじらしい fact9: この砲門は優し過ぎる fact10: 「「噛み合うしかつ三十二相である」ということは間違っている」物はある fact11: あの一地方都市は優し過ぎる fact12: いじらしくない物は優し過ぎる
fact10 & fact2 -> int1: 「あの一地方都市はいじらしい」ということは成り立つ; int1 & fact11 -> hypothesis;
fact10 & fact2 -> int1: {A}{a}; int1 & fact11 -> hypothesis;
「あの一地方都市はいじらしいしそれは優し過ぎる」ということは嘘である
fact13 -> int2: もし仮にあの一地方都市は同号でないとしたら「いじらしくてそれは優し過ぎる」ということは間違っている;
$facts$ = fact1: あの本犯は馬上人物でない fact2: もし「「噛み合うし三十二相だ」ということは成り立たない」物があるとするとあの一地方都市はいじらしい fact3: 仮になにかは同号でないとすれば「それはいじらしくてかつ優し過ぎる」ということは誤っている fact4: あの一地方都市は保険給付する fact5: 「あるものは噛み合うし加えて三十二相だ」ということは成り立つ fact6: そのペチカママは優し過ぎる fact7: もし仮にあの一地方都市が同号だとすればこの戦機はいじらしくない fact8: もし「三十二相でない」ものがあるならあの一地方都市はいじらしい fact9: この砲門は優し過ぎる fact10: 「「噛み合うしかつ三十二相である」ということは間違っている」物はある fact11: あの一地方都市は優し過ぎる fact12: いじらしくない物は優し過ぎる ; $hypothesis$ = 「あの一地方都市はいじらしいしその上優し過ぎる」ということは真実だということはない ; $proof$ = 
fact10 & fact2 -> int1: 「あの一地方都市はいじらしい」ということは成り立つ; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: あの本犯は馬上人物でない
事実2: もし「「噛み合うし三十二相だ」ということは成り立たない」物があるとするとあの一地方都市はいじらしい
事実3: 仮になにかは同号でないとすれば「それはいじらしくてかつ優し過ぎる」ということは誤っている
事実4: あの一地方都市は保険給付する
事実5: 「あるものは噛み合うし加えて三十二相だ」ということは成り立つ
事実6: そのペチカママは優し過ぎる
事実7: もし仮にあの一地方都市が同号だとすればこの戦機はいじらしくない
事実8: もし「三十二相でない」ものがあるならあの一地方都市はいじらしい
事実9: この砲門は優し過ぎる
事実10: 「「噛み合うしかつ三十二相である」ということは間違っている」物はある
事実11: あの一地方都市は優し過ぎる
事実12: いじらしくない物は優し過ぎる

仮説: 「あの一地方都市はいじらしいしその上優し過ぎる」ということは真実だということはない
1. 事実10と事実2から、推論1: "「あの一地方都市はいじらしい」ということは成り立つ"が導かれる
2. 推論1と事実11から、仮説が否定される

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