「悄気るないしそれに答え易いということはない」物はある
fact1: ある物は答え易くない fact2: 「答え易いということはなくてそれに埋め立てる」物はある fact3: その第五区画は埋め立てる fact4: もしもあの経常利益が真理性であるとするとその第五区画は暴れ回るけど当該土地等でない fact5: この内応は埋め立てる fact6: もし仮にその第五区画はワゴンセールであるなら「罹病しなくて曲尺だ」ということは嘘である fact7: もしもその第五区画が埋め立てるとすればそれは悄気るないしその上それは答え易くない fact8: 「その第五区画はワゴンセールだ」ということは確かだ fact9: もしもその第五区画が訳無いとすればそれは悄気るということはないし集め易くない fact10: なにがしかの物は悄気るない fact11: 七．五センチ砲は真理性だ fact12: もし仮にあの経常利益が敢え無くないししかもそれは画面内でないならそれは七．五センチ砲である fact13: 仮になにかは暴れ回る一方でそれは当該土地等でないとすると埋め立てない fact14: 「近しないしそれに朱唇でない」ものはある fact15: このマントラ軍は埋め立てる fact16: もし仮に何らかのものは埋め立てないとしたら「それは答え易くて加えて達成し易くない」ということは誤りである fact17: あの経常利益が押し易いとしたら装填しないしおまけに埋め立てない fact18: もしも「あるものは答え易いけど達成し易くない」ということは間違っているとすればそれは答え易くない fact19: もし仮に「何かは罹病するということはないがしかし曲尺である」ということは成り立たないとしたら発するということはない fact20: その第五区画は埋め立てるとすると「答え易くない」ということは事実と異ならない
fact7 & fact3 -> int1: その第五区画は悄気るないしそれは答え易くない; int1 -> hypothesis;
fact7 & fact3 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
「その第五区画は答え易くなくて発しない」ということは本当だ
fact22 -> int2: 「仮に「その第五区画は答え易い一方でそれは達成し易くない」ということは嘘だとするとその第五区画は答え易くない」ということは正しい; fact29 -> int3: 仮に「その第五区画は埋め立てない」ということは確かだとすると「答え易いしさらに達成し易いということはない」ということは偽である; fact28 -> int4: その第五区画は暴れ回るけれど当該土地等であるということはないならば埋め立てるということはない; fact21 -> int5: もしもあの経常利益は七．五センチ砲であるとしたら真理性である; fact27 -> int6: もし仮に「その第五区画は罹病するということはないがしかしそれは曲尺だ」ということは成り立つということはないならそれは発しない; fact24 & fact26 -> int7: 「その第五区画は罹病しないけれど曲尺である」ということは成り立たない; int6 & int7 -> int8: その第五区画は発するということはない;
$facts$ = fact1: ある物は答え易くない fact2: 「答え易いということはなくてそれに埋め立てる」物はある fact3: その第五区画は埋め立てる fact4: もしもあの経常利益が真理性であるとするとその第五区画は暴れ回るけど当該土地等でない fact5: この内応は埋め立てる fact6: もし仮にその第五区画はワゴンセールであるなら「罹病しなくて曲尺だ」ということは嘘である fact7: もしもその第五区画が埋め立てるとすればそれは悄気るないしその上それは答え易くない fact8: 「その第五区画はワゴンセールだ」ということは確かだ fact9: もしもその第五区画が訳無いとすればそれは悄気るということはないし集め易くない fact10: なにがしかの物は悄気るない fact11: 七．五センチ砲は真理性だ fact12: もし仮にあの経常利益が敢え無くないししかもそれは画面内でないならそれは七．五センチ砲である fact13: 仮になにかは暴れ回る一方でそれは当該土地等でないとすると埋め立てない fact14: 「近しないしそれに朱唇でない」ものはある fact15: このマントラ軍は埋め立てる fact16: もし仮に何らかのものは埋め立てないとしたら「それは答え易くて加えて達成し易くない」ということは誤りである fact17: あの経常利益が押し易いとしたら装填しないしおまけに埋め立てない fact18: もしも「あるものは答え易いけど達成し易くない」ということは間違っているとすればそれは答え易くない fact19: もし仮に「何かは罹病するということはないがしかし曲尺である」ということは成り立たないとしたら発するということはない fact20: その第五区画は埋め立てるとすると「答え易くない」ということは事実と異ならない ; $hypothesis$ = 「悄気るないしそれに答え易いということはない」物はある ; $proof$ = 
fact7 & fact3 -> int1: その第五区画は悄気るないしそれは答え易くない; int1 -> hypothesis; __PROVED__
事実1: ある物は答え易くない
事実2: 「答え易いということはなくてそれに埋め立てる」物はある
事実3: その第五区画は埋め立てる
事実4: もしもあの経常利益が真理性であるとするとその第五区画は暴れ回るけど当該土地等でない
事実5: この内応は埋め立てる
事実6: もし仮にその第五区画はワゴンセールであるなら「罹病しなくて曲尺だ」ということは嘘である
事実7: もしもその第五区画が埋め立てるとすればそれは悄気るないしその上それは答え易くない
事実8: 「その第五区画はワゴンセールだ」ということは確かだ
事実9: もしもその第五区画が訳無いとすればそれは悄気るということはないし集め易くない
事実10: なにがしかの物は悄気るない
事実11: 七．五センチ砲は真理性だ
事実12: もし仮にあの経常利益が敢え無くないししかもそれは画面内でないならそれは七．五センチ砲である
事実13: 仮になにかは暴れ回る一方でそれは当該土地等でないとすると埋め立てない
事実14: 「近しないしそれに朱唇でない」ものはある
事実15: このマントラ軍は埋め立てる
事実16: もし仮に何らかのものは埋め立てないとしたら「それは答え易くて加えて達成し易くない」ということは誤りである
事実17: あの経常利益が押し易いとしたら装填しないしおまけに埋め立てない
事実18: もしも「あるものは答え易いけど達成し易くない」ということは間違っているとすればそれは答え易くない
事実19: もし仮に「何かは罹病するということはないがしかし曲尺である」ということは成り立たないとしたら発するということはない
事実20: その第五区画は埋め立てるとすると「答え易くない」ということは事実と異ならない

仮説: 「悄気るないしそれに答え易いということはない」物はある
1. 事実7と事実3から、推論1: "その第五区画は悄気るないしそれは答え易くない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。