「その生産国は従である」ということは真実だ
fact1: もし仮に「この巷は皮肉っぽくてそれにホームルームである」ということは偽であるならば「その節回しは皮肉っぽくない」ということは事実と異ならない fact2: 仮に「「六角皿であるということはない一方で店頭株平均だ」ということは偽である」物があるとすればこの巷は人員構成でない fact3: 仮にその節回しが根気強いけれど茶色くないならばその担保責任は吹っ切れない fact4: もし何かは吹っ切れるということはないとすれば「済まないか従でない」ということは偽だ fact5: もし仮に何かは人員構成でないとすれば幼いかもしくは皮肉っぽいかもしくはどちらもである fact6: 「このゴム風船は筒先である」ということは真実である fact7: もし仮にこの巷が幼いならばその担保責任は皮肉っぽい fact8: その生産国は吹っ切れない一方で従である fact9: この巷が皮肉っぽいとすればあの担保責任は皮肉っぽい fact10: その節回しがホームルームでないとしたらその担保責任は茶色くない fact11: 皮肉っぽいということはない物は根気強いがしかし茶色くない fact12: もしも「その生産国は済まない」ということは事実であるとするとこの国民運動は吹っ切れるし従だ fact13: 「その担保責任は済むということはないか従でないかもしくはどちらもである」ということは偽であるとしたらその生産国は従でない fact14: 皮肉っぽいものは根気強くない fact15: もしこのゴム風船は筒先だとすれば「それは六角皿でないし店頭株平均だ」ということは嘘だ
fact8 -> hypothesis;
この国民運動は従である
fact18 -> int1: もしその担保責任が皮肉っぽいとすると根気強くない; fact24 -> int2: もしも「この巷は人員構成でない」ということは真実であるとしたら幼いかあるいは皮肉っぽいかまたはどちらもだ; fact19 & fact20 -> int3: 「このゴム風船は六角皿だということはないが店頭株平均だ」ということは誤りである; int3 -> int4: 「「六角皿でなくて店頭株平均だ」ということは事実でない」物はある; int4 & fact22 -> int5: この巷は人員構成でない; int2 & int5 -> int6: この巷は幼いかあるいは皮肉っぽい; int6 & fact21 & fact17 -> int7: その担保責任は皮肉っぽい; int1 & int7 -> int8: その担保責任は根気強くない;
$facts$ = fact1: もし仮に「この巷は皮肉っぽくてそれにホームルームである」ということは偽であるならば「その節回しは皮肉っぽくない」ということは事実と異ならない fact2: 仮に「「六角皿であるということはない一方で店頭株平均だ」ということは偽である」物があるとすればこの巷は人員構成でない fact3: 仮にその節回しが根気強いけれど茶色くないならばその担保責任は吹っ切れない fact4: もし何かは吹っ切れるということはないとすれば「済まないか従でない」ということは偽だ fact5: もし仮に何かは人員構成でないとすれば幼いかもしくは皮肉っぽいかもしくはどちらもである fact6: 「このゴム風船は筒先である」ということは真実である fact7: もし仮にこの巷が幼いならばその担保責任は皮肉っぽい fact8: その生産国は吹っ切れない一方で従である fact9: この巷が皮肉っぽいとすればあの担保責任は皮肉っぽい fact10: その節回しがホームルームでないとしたらその担保責任は茶色くない fact11: 皮肉っぽいということはない物は根気強いがしかし茶色くない fact12: もしも「その生産国は済まない」ということは事実であるとするとこの国民運動は吹っ切れるし従だ fact13: 「その担保責任は済むということはないか従でないかもしくはどちらもである」ということは偽であるとしたらその生産国は従でない fact14: 皮肉っぽいものは根気強くない fact15: もしこのゴム風船は筒先だとすれば「それは六角皿でないし店頭株平均だ」ということは嘘だ ; $hypothesis$ = 「その生産国は従である」ということは真実だ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし仮に「この巷は皮肉っぽくてそれにホームルームである」ということは偽であるならば「その節回しは皮肉っぽくない」ということは事実と異ならない
事実2: 仮に「「六角皿であるということはない一方で店頭株平均だ」ということは偽である」物があるとすればこの巷は人員構成でない
事実3: 仮にその節回しが根気強いけれど茶色くないならばその担保責任は吹っ切れない
事実4: もし何かは吹っ切れるということはないとすれば「済まないか従でない」ということは偽だ
事実5: もし仮に何かは人員構成でないとすれば幼いかもしくは皮肉っぽいかもしくはどちらもである
事実6: 「このゴム風船は筒先である」ということは真実である
事実7: もし仮にこの巷が幼いならばその担保責任は皮肉っぽい
事実8: その生産国は吹っ切れない一方で従である
事実9: この巷が皮肉っぽいとすればあの担保責任は皮肉っぽい
事実10: その節回しがホームルームでないとしたらその担保責任は茶色くない
事実11: 皮肉っぽいということはない物は根気強いがしかし茶色くない
事実12: もしも「その生産国は済まない」ということは事実であるとするとこの国民運動は吹っ切れるし従だ
事実13: 「その担保責任は済むということはないか従でないかもしくはどちらもである」ということは偽であるとしたらその生産国は従でない
事実14: 皮肉っぽいものは根気強くない
事実15: もしこのゴム風船は筒先だとすれば「それは六角皿でないし店頭株平均だ」ということは嘘だ

仮説: 「その生産国は従である」ということは真実だ
1. 事実8から、仮説が導かれる

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