「あの増改築等は助けない」ということは偽だ
fact1: もしもあの雲文は着陸出来ないとしたら「その薄味はＳＡＣＯである一方でねちっこくない」ということは事実と異なる fact2: 仮にあの雲文が着陸出来るならばあの増改築等は助ける fact3: もし仮にその時間障壁は平和惚けすれば「「その記者席は迷惑がらないし更に見付け易くない」ということは成り立つ」ということは事実と異なる fact4: もしある物はザックだとすると「導師でなくておまけに着陸出来ない」ということは成り立たない fact5: その薄味は導師である fact6: もしもその薄味がザックであるということはないけど錆無いならばあの雲文はザックだ fact7: もしあの雲文は着陸出来ないとすると「その薄味はＳＡＣＯであるししかもねちっこい」ということは成り立たない fact8: 「その時間障壁は平和惚けする」ということは成り立つ fact9: 仮になにかは人恋しくないとしたらザックでないしかつそれは錆無い fact10: もしも「その薄味はＳＡＣＯだけれどそれはねちっこくない」ということは誤りならそれは導師でない
void -> assump1: 以下のように仮定する。あの雲文は着陸出来ない; fact1 & assump1 -> int1: 「その薄味はＳＡＣＯである一方でねちっこくない」ということは成り立たない; int1 & fact10 -> int2: その薄味は導師でない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの雲文は着陸出来る」ということは正しい; int4 & fact2 -> hypothesis;
あの増改築等は助けない
fact15 -> int5: もしあの雲文はザックであるとすれば「それは導師であるということはないし着陸出来ない」ということは間違いである; fact14 -> int6: もし仮にその薄味が人恋しいということはないならばそれはザックだということはないけれど錆無い; fact12 & fact11 -> int7: 「その記者席は迷惑がるということはないし更に見付け易くない」ということは誤りだ; int7 -> int8: 「「迷惑がらないしかつ見付け易くない」ということは間違っている」物はある;
$facts$ = fact1: もしもあの雲文は着陸出来ないとしたら「その薄味はＳＡＣＯである一方でねちっこくない」ということは事実と異なる fact2: 仮にあの雲文が着陸出来るならばあの増改築等は助ける fact3: もし仮にその時間障壁は平和惚けすれば「「その記者席は迷惑がらないし更に見付け易くない」ということは成り立つ」ということは事実と異なる fact4: もしある物はザックだとすると「導師でなくておまけに着陸出来ない」ということは成り立たない fact5: その薄味は導師である fact6: もしもその薄味がザックであるということはないけど錆無いならばあの雲文はザックだ fact7: もしあの雲文は着陸出来ないとすると「その薄味はＳＡＣＯであるししかもねちっこい」ということは成り立たない fact8: 「その時間障壁は平和惚けする」ということは成り立つ fact9: 仮になにかは人恋しくないとしたらザックでないしかつそれは錆無い fact10: もしも「その薄味はＳＡＣＯだけれどそれはねちっこくない」ということは誤りならそれは導師でない ; $hypothesis$ = 「あの増改築等は助けない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの雲文は着陸出来ない; fact1 & assump1 -> int1: 「その薄味はＳＡＣＯである一方でねちっこくない」ということは成り立たない; int1 & fact10 -> int2: その薄味は導師でない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの雲文は着陸出来る」ということは正しい; int4 & fact2 -> hypothesis; __PROVED__
事実1: もしもあの雲文は着陸出来ないとしたら「その薄味はＳＡＣＯである一方でねちっこくない」ということは事実と異なる
事実2: 仮にあの雲文が着陸出来るならばあの増改築等は助ける
事実3: もし仮にその時間障壁は平和惚けすれば「「その記者席は迷惑がらないし更に見付け易くない」ということは成り立つ」ということは事実と異なる
事実4: もしある物はザックだとすると「導師でなくておまけに着陸出来ない」ということは成り立たない
事実5: その薄味は導師である
事実6: もしもその薄味がザックであるということはないけど錆無いならばあの雲文はザックだ
事実7: もしあの雲文は着陸出来ないとすると「その薄味はＳＡＣＯであるししかもねちっこい」ということは成り立たない
事実8: 「その時間障壁は平和惚けする」ということは成り立つ
事実9: 仮になにかは人恋しくないとしたらザックでないしかつそれは錆無い
事実10: もしも「その薄味はＳＡＣＯだけれどそれはねちっこくない」ということは誤りならそれは導師でない

仮説: 「あの増改築等は助けない」ということは偽だ
1. 仮定1: 以下のように仮定する。あの雲文は着陸出来ない
2. 事実1と仮定1から、推論1: "「その薄味はＳＡＣＯである一方でねちっこくない」ということは成り立たない"が導かれる
3. 推論1と事実10から、推論2: "その薄味は導師でない"が導かれる
4. 推論2と事実5から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの雲文は着陸出来る」ということは正しい"が導かれる
6. 推論4と事実2から、仮説が導かれる

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