この次式は出会い行動だということはない
fact1: 仮に「あの土木構造物は向かい掛けない」ということは本当であるとするとこの次式は出会い行動だということはない fact2: もしもこの震災復興が出来易いとしたらあの土木構造物は産着だということはない fact3: この震災復興が向かい掛けるということはないならあの土木構造物は出来易くない fact4: 「この震災復興は向かい掛ける」ということは確かである fact5: そのシャーマンは産着である fact6: もしも何らかのものは僻みっぽいとすると「それは出来易いが出会い行動でない」ということは成り立たない fact7: この震災復興は出来易い fact8: 「「申し付けない」ということは本当である」ものはある fact9: もしもあの土木構造物が出来易くないならばこの震災復興は向かい掛けない fact10: 何らかのものは産着でないとするとそれは僻みっぽくないかまたは向かい掛けないかあるいは両方である fact11: 仮にあの土木構造物が僻みっぽくないならばこの次式は出会い行動でない fact12: もしなんらかのものが申し付けないとするとこの震災復興は向かい掛けるししかも僻みっぽい fact13: もし「あるものは出来易いけれど出会い行動でない」ということは嘘だとすればそれは出会い行動だ fact14: もしあの土木構造物が出来易くないとしたらこの震災復興は僻みっぽくない fact15: もし仮にあの土木構造物は出会い行動でないとしたら「この次式は僻みっぽくない」ということは成り立つ fact16: 仮にあの土木構造物が僻みっぽくないならこの次式は出会い行動である fact17: 仮にこの次式が取っ付き易くないとすればそれは定期演奏会でないかあるいは欲しがらないかあるいは両方ともだ fact18: もしもこの震災復興が産着でないとすればあの土木構造物は出来易いということはない fact19: この次式は産着でないかもしくは出会い行動だということはないかあるいは両方ともだ
fact2 & fact7 -> int1: あの土木構造物は産着であるということはない; fact10 -> int2: 仮にあの土木構造物は産着でないとしたらそれは僻みっぽいということはないかもしくは向かい掛けるということはないかもしくは両方である; int1 & int2 -> int3: 「あの土木構造物は僻みっぽくないか向かい掛けないかまたは両方ともである」ということは真実だ; int3 & fact11 & fact1 -> hypothesis;
この次式は出会い行動だ
fact22 -> int4: もしも「この震災復興は出来易いがそれは出会い行動でない」ということは誤りだとしたらそれは出会い行動だ; fact21 -> int5: この震災復興は僻みっぽいなら「出来易いが出会い行動でない」ということは嘘だ; fact23 & fact20 -> int6: この震災復興は向かい掛けるしさらに僻みっぽい; int6 -> int7: この震災復興は僻みっぽい; int5 & int7 -> int8: 「この震災復興は出来易いけれど出会い行動でない」ということは成り立つということはない; int4 & int8 -> int9: この震災復興は出会い行動だ; int9 -> int10: この震災復興は出会い行動であるかもしくは産着でないかあるいは両方である; int10 -> int11: とあるものは出会い行動であるかもしくは産着でない;
$facts$ = fact1: 仮に「あの土木構造物は向かい掛けない」ということは本当であるとするとこの次式は出会い行動だということはない fact2: もしもこの震災復興が出来易いとしたらあの土木構造物は産着だということはない fact3: この震災復興が向かい掛けるということはないならあの土木構造物は出来易くない fact4: 「この震災復興は向かい掛ける」ということは確かである fact5: そのシャーマンは産着である fact6: もしも何らかのものは僻みっぽいとすると「それは出来易いが出会い行動でない」ということは成り立たない fact7: この震災復興は出来易い fact8: 「「申し付けない」ということは本当である」ものはある fact9: もしもあの土木構造物が出来易くないならばこの震災復興は向かい掛けない fact10: 何らかのものは産着でないとするとそれは僻みっぽくないかまたは向かい掛けないかあるいは両方である fact11: 仮にあの土木構造物が僻みっぽくないならばこの次式は出会い行動でない fact12: もしなんらかのものが申し付けないとするとこの震災復興は向かい掛けるししかも僻みっぽい fact13: もし「あるものは出来易いけれど出会い行動でない」ということは嘘だとすればそれは出会い行動だ fact14: もしあの土木構造物が出来易くないとしたらこの震災復興は僻みっぽくない fact15: もし仮にあの土木構造物は出会い行動でないとしたら「この次式は僻みっぽくない」ということは成り立つ fact16: 仮にあの土木構造物が僻みっぽくないならこの次式は出会い行動である fact17: 仮にこの次式が取っ付き易くないとすればそれは定期演奏会でないかあるいは欲しがらないかあるいは両方ともだ fact18: もしもこの震災復興が産着でないとすればあの土木構造物は出来易いということはない fact19: この次式は産着でないかもしくは出会い行動だということはないかあるいは両方ともだ ; $hypothesis$ = この次式は出会い行動だということはない ; $proof$ = 
fact2 & fact7 -> int1: あの土木構造物は産着であるということはない; fact10 -> int2: 仮にあの土木構造物は産着でないとしたらそれは僻みっぽいということはないかもしくは向かい掛けるということはないかもしくは両方である; int1 & int2 -> int3: 「あの土木構造物は僻みっぽくないか向かい掛けないかまたは両方ともである」ということは真実だ; int3 & fact11 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「あの土木構造物は向かい掛けない」ということは本当であるとするとこの次式は出会い行動だということはない
事実2: もしもこの震災復興が出来易いとしたらあの土木構造物は産着だということはない
事実3: この震災復興が向かい掛けるということはないならあの土木構造物は出来易くない
事実4: 「この震災復興は向かい掛ける」ということは確かである
事実5: そのシャーマンは産着である
事実6: もしも何らかのものは僻みっぽいとすると「それは出来易いが出会い行動でない」ということは成り立たない
事実7: この震災復興は出来易い
事実8: 「「申し付けない」ということは本当である」ものはある
事実9: もしもあの土木構造物が出来易くないならばこの震災復興は向かい掛けない
事実10: 何らかのものは産着でないとするとそれは僻みっぽくないかまたは向かい掛けないかあるいは両方である
事実11: 仮にあの土木構造物が僻みっぽくないならばこの次式は出会い行動でない
事実12: もしなんらかのものが申し付けないとするとこの震災復興は向かい掛けるししかも僻みっぽい
事実13: もし「あるものは出来易いけれど出会い行動でない」ということは嘘だとすればそれは出会い行動だ
事実14: もしあの土木構造物が出来易くないとしたらこの震災復興は僻みっぽくない
事実15: もし仮にあの土木構造物は出会い行動でないとしたら「この次式は僻みっぽくない」ということは成り立つ
事実16: 仮にあの土木構造物が僻みっぽくないならこの次式は出会い行動である
事実17: 仮にこの次式が取っ付き易くないとすればそれは定期演奏会でないかあるいは欲しがらないかあるいは両方ともだ
事実18: もしもこの震災復興が産着でないとすればあの土木構造物は出来易いということはない
事実19: この次式は産着でないかもしくは出会い行動だということはないかあるいは両方ともだ

仮説: この次式は出会い行動だということはない
1. 事実2と事実7から、推論1: "あの土木構造物は産着であるということはない"が導かれる
2. 事実10から、推論2: "仮にあの土木構造物は産着でないとしたらそれは僻みっぽいということはないかもしくは向かい掛けるということはないかもしくは両方である"が導かれる
3. 推論1と推論2から、推論3: "「あの土木構造物は僻みっぽくないか向かい掛けないかまたは両方ともである」ということは真実だ"が導かれる
4. 推論3と事実11と事実1から、仮説が導かれる

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