この盤面は養生するかまたは前図であるかあるいは両方ともだ
fact1: その生体内は離れ難い fact2: もし仮にこの計画目的は色男であるとしたらそれは野暮ったい fact3: もし仮に離れ難い物があるならあの打たせ船はあいなめだ fact4: 何らかのものは離れ難くないなら「あいなめでないけれど野暮ったい」ということは誤りである fact5: もし仮にあの打たせ船が野暮ったいということはないとしたらそれは心弱いし侵略する fact6: もし何かは心弱くないなら「それは養生するかまたは前図であるか両方ともである」ということは成り立たない fact7: 仮にこの計画目的が野暮ったいか両体であるとしたらあの打たせ船は野暮ったくない fact8: あらゆる物は養生するしそれに心弱い fact9: ある物は踏ん付けるなら「両体でなくておまけに色男であるということはない」ということは誤りだ fact10: もし仮に「その生体内が両体だということはないしその上色男でない」ということは成り立たないならこの計画目的は離れ難くない fact11: もしなにがしかのものが勃起するなら踏ん付ける fact12: 「あの打たせ船はあいなめだ」ということは真実なら「前図でないけれど養生する」ということは間違っている fact13: もし「この計画目的はあいなめでないけれどそれは野暮ったい」ということは間違いだとしたらこの盤面は心弱くない fact14: もしその同感がＰＰＴＰでないならその生体内は勃起するしかつそれは嫁入る
fact8 -> int1: この盤面は養生するしおまけに心弱い; int1 -> int2: この盤面は養生する; int2 -> hypothesis;
あの打たせ船は前図でその上侵略する
fact15 -> int3: 何らかの物は離れ難い; int3 & fact16 -> int4: あの打たせ船はあいなめだ; fact20 & int4 -> int5: 「あの打たせ船は前図でないけれど養生する」ということは成り立つということはない;
$facts$ = fact1: その生体内は離れ難い fact2: もし仮にこの計画目的は色男であるとしたらそれは野暮ったい fact3: もし仮に離れ難い物があるならあの打たせ船はあいなめだ fact4: 何らかのものは離れ難くないなら「あいなめでないけれど野暮ったい」ということは誤りである fact5: もし仮にあの打たせ船が野暮ったいということはないとしたらそれは心弱いし侵略する fact6: もし何かは心弱くないなら「それは養生するかまたは前図であるか両方ともである」ということは成り立たない fact7: 仮にこの計画目的が野暮ったいか両体であるとしたらあの打たせ船は野暮ったくない fact8: あらゆる物は養生するしそれに心弱い fact9: ある物は踏ん付けるなら「両体でなくておまけに色男であるということはない」ということは誤りだ fact10: もし仮に「その生体内が両体だということはないしその上色男でない」ということは成り立たないならこの計画目的は離れ難くない fact11: もしなにがしかのものが勃起するなら踏ん付ける fact12: 「あの打たせ船はあいなめだ」ということは真実なら「前図でないけれど養生する」ということは間違っている fact13: もし「この計画目的はあいなめでないけれどそれは野暮ったい」ということは間違いだとしたらこの盤面は心弱くない fact14: もしその同感がＰＰＴＰでないならその生体内は勃起するしかつそれは嫁入る ; $hypothesis$ = この盤面は養生するかまたは前図であるかあるいは両方ともだ ; $proof$ = 
fact8 -> int1: この盤面は養生するしおまけに心弱い; int1 -> int2: この盤面は養生する; int2 -> hypothesis; __PROVED__
事実1: その生体内は離れ難い
事実2: もし仮にこの計画目的は色男であるとしたらそれは野暮ったい
事実3: もし仮に離れ難い物があるならあの打たせ船はあいなめだ
事実4: 何らかのものは離れ難くないなら「あいなめでないけれど野暮ったい」ということは誤りである
事実5: もし仮にあの打たせ船が野暮ったいということはないとしたらそれは心弱いし侵略する
事実6: もし何かは心弱くないなら「それは養生するかまたは前図であるか両方ともである」ということは成り立たない
事実7: 仮にこの計画目的が野暮ったいか両体であるとしたらあの打たせ船は野暮ったくない
事実8: あらゆる物は養生するしそれに心弱い
事実9: ある物は踏ん付けるなら「両体でなくておまけに色男であるということはない」ということは誤りだ
事実10: もし仮に「その生体内が両体だということはないしその上色男でない」ということは成り立たないならこの計画目的は離れ難くない
事実11: もしなにがしかのものが勃起するなら踏ん付ける
事実12: 「あの打たせ船はあいなめだ」ということは真実なら「前図でないけれど養生する」ということは間違っている
事実13: もし「この計画目的はあいなめでないけれどそれは野暮ったい」ということは間違いだとしたらこの盤面は心弱くない
事実14: もしその同感がＰＰＴＰでないならその生体内は勃起するしかつそれは嫁入る

仮説: この盤面は養生するかまたは前図であるかあるいは両方ともだ
1. 事実8から、推論1: "この盤面は養生するしおまけに心弱い"が導かれる
2. 推論1から、推論2: "この盤面は養生する"が導かれる
3. 推論2から、仮説が導かれる

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