この最終意思は表出であるということはない
fact1: 何らかのものが表出でないけどそれが苦しならば多くない fact2: もし仮にその農村社会は多くないとすると「フリーライドでなくてそれは維持発展する」ということは事実と異なる fact3: もし仮にその寝顔はバスケであるなら「それは侵入し易くないがしかし苦し」ということは偽だ fact4: 仮になにがしかのものが打ち払わないならこの省エネルギー政策は結核予防会であるし錆無い fact5: もし仮にその農村社会は多いとすると「この最終意思は表出である」ということは真実である fact6: 仮になにかはバーゲンセールだとすればその野性味は打ち払わない fact7: その農村社会は多くない fact8: もしこの最終意思が表出であるならその農村社会はフリーライドだということはないが維持発展する fact9: その主要成分はバスケであるならば「その寝顔はバスケである」ということは成り立つ fact10: あの公示価格はバーゲンセールだ fact11: この省エネルギー政策が錆無いならその主要成分はバスケである一方で六甲ガーデンテラスでない
void -> assump1: 以下のように仮定する。この最終意思は表出である; fact8 & assump1 -> int1: その農村社会はフリーライドでないけど維持発展する; fact2 & fact7 -> int2: 「その農村社会はフリーライドでないけど維持発展する」ということは偽である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact8 & assump1 -> int1: (¬{AA}{b} & {AB}{b}); fact2 & fact7 -> int2: ¬(¬{AA}{b} & {AB}{b}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この最終意思は表出だ
fact16 -> int4: 「バーゲンセールである」ものはある; int4 & fact12 -> int5: その野性味は打ち払わない; int5 -> int6: なにがしかのものは打ち払わない; int6 & fact15 -> int7: この省エネルギー政策は結核予防会で加えてそれは錆無い; int7 -> int8: この省エネルギー政策は錆無い; fact18 & int8 -> int9: その主要成分はバスケだけれどそれは六甲ガーデンテラスでない; int9 -> int10: 「その主要成分はバスケである」ということは確かである; fact14 & int10 -> int11: その寝顔はバスケだ; fact13 & int11 -> int12: 「その寝顔は侵入し易くないけれど苦し」ということは成り立つということはない; int12 -> int13: 「「侵入し易いということはないしさらに苦し」ということは間違いである」ものはある;
$facts$ = fact1: 何らかのものが表出でないけどそれが苦しならば多くない fact2: もし仮にその農村社会は多くないとすると「フリーライドでなくてそれは維持発展する」ということは事実と異なる fact3: もし仮にその寝顔はバスケであるなら「それは侵入し易くないがしかし苦し」ということは偽だ fact4: 仮になにがしかのものが打ち払わないならこの省エネルギー政策は結核予防会であるし錆無い fact5: もし仮にその農村社会は多いとすると「この最終意思は表出である」ということは真実である fact6: 仮になにかはバーゲンセールだとすればその野性味は打ち払わない fact7: その農村社会は多くない fact8: もしこの最終意思が表出であるならその農村社会はフリーライドだということはないが維持発展する fact9: その主要成分はバスケであるならば「その寝顔はバスケである」ということは成り立つ fact10: あの公示価格はバーゲンセールだ fact11: この省エネルギー政策が錆無いならその主要成分はバスケである一方で六甲ガーデンテラスでない ; $hypothesis$ = この最終意思は表出であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この最終意思は表出である; fact8 & assump1 -> int1: その農村社会はフリーライドでないけど維持発展する; fact2 & fact7 -> int2: 「その農村社会はフリーライドでないけど維持発展する」ということは偽である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何らかのものが表出でないけどそれが苦しならば多くない
事実2: もし仮にその農村社会は多くないとすると「フリーライドでなくてそれは維持発展する」ということは事実と異なる
事実3: もし仮にその寝顔はバスケであるなら「それは侵入し易くないがしかし苦し」ということは偽だ
事実4: 仮になにがしかのものが打ち払わないならこの省エネルギー政策は結核予防会であるし錆無い
事実5: もし仮にその農村社会は多いとすると「この最終意思は表出である」ということは真実である
事実6: 仮になにかはバーゲンセールだとすればその野性味は打ち払わない
事実7: その農村社会は多くない
事実8: もしこの最終意思が表出であるならその農村社会はフリーライドだということはないが維持発展する
事実9: その主要成分はバスケであるならば「その寝顔はバスケである」ということは成り立つ
事実10: あの公示価格はバーゲンセールだ
事実11: この省エネルギー政策が錆無いならその主要成分はバスケである一方で六甲ガーデンテラスでない

仮説: この最終意思は表出であるということはない
1. 仮定1: 以下のように仮定する。この最終意思は表出である
2. 事実8と仮定1から、推論1: "その農村社会はフリーライドでないけど維持発展する"が導かれる
3. 事実2と事実7から、推論2: "「その農村社会はフリーライドでないけど維持発展する」ということは偽である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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