あの振り出しは神州不滅でない
fact1: もし仮にあの振り出しが復旧するならそれは懐かし fact2: あの振り出しが共有化だしかつそれは安っぽい fact3: もし仮になにかは旗本退屈男だしそれに建築界であるとすると神州不滅でない fact4: もし懐かし物は建築界であるならば神州不滅でない fact5: あの振り出しは根本的解決であるしまた構造型データベースである fact6: もし「この包囲軍は及び難いけど乾田・湿田・強湿田でない」ということは成り立たないならそれは神州不滅である fact7: あの振り出しは信じ易い fact8: もしもあの振り出しが渋いとしたらそれは荒い fact9: もしもあの振り出しは信じ易いとしたら「旗本退屈男である」ということは成り立つ fact10: 「あの振り出しは懐かしけれどそれは渋いということはない」ということは嘘だ fact11: 仮にあの自然教育村が遠いとすれば神州不滅である fact12: なにかは建築界でないとしたら「それは旗本退屈男でない一方で信じ易い」ということは偽だ fact13: もしも神州不滅が懐かしとすればそれは建築界でない fact14: 仮に「あの振り出しは懐かしがしかし渋くない」ということは成り立たないとするとそれは建築界である
fact9 & fact7 -> int1: あの振り出しは旗本退屈男である; fact14 & fact10 -> int2: あの振り出しは建築界だ; int1 & int2 -> int3: あの振り出しが旗本退屈男だし建築界だ; fact3 -> int4: あの振り出しが旗本退屈男であるし加えてそれが建築界なら神州不滅だということはない; int3 & int4 -> hypothesis;
fact9 & fact7 -> int1: {B}{a}; fact14 & fact10 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact3 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
あの自然教育村は渋い
fact16 -> int5: あの自然教育村は建築界でないとしたら「旗本退屈男だということはないけれど信じ易い」ということは間違っている; fact15 -> int6: もしもあの自然教育村が神州不滅だしその上懐かしとしたら建築界だということはない;
$facts$ = fact1: もし仮にあの振り出しが復旧するならそれは懐かし fact2: あの振り出しが共有化だしかつそれは安っぽい fact3: もし仮になにかは旗本退屈男だしそれに建築界であるとすると神州不滅でない fact4: もし懐かし物は建築界であるならば神州不滅でない fact5: あの振り出しは根本的解決であるしまた構造型データベースである fact6: もし「この包囲軍は及び難いけど乾田・湿田・強湿田でない」ということは成り立たないならそれは神州不滅である fact7: あの振り出しは信じ易い fact8: もしもあの振り出しが渋いとしたらそれは荒い fact9: もしもあの振り出しは信じ易いとしたら「旗本退屈男である」ということは成り立つ fact10: 「あの振り出しは懐かしけれどそれは渋いということはない」ということは嘘だ fact11: 仮にあの自然教育村が遠いとすれば神州不滅である fact12: なにかは建築界でないとしたら「それは旗本退屈男でない一方で信じ易い」ということは偽だ fact13: もしも神州不滅が懐かしとすればそれは建築界でない fact14: 仮に「あの振り出しは懐かしがしかし渋くない」ということは成り立たないとするとそれは建築界である ; $hypothesis$ = あの振り出しは神州不滅でない ; $proof$ = 
fact9 & fact7 -> int1: あの振り出しは旗本退屈男である; fact14 & fact10 -> int2: あの振り出しは建築界だ; int1 & int2 -> int3: あの振り出しが旗本退屈男だし建築界だ; fact3 -> int4: あの振り出しが旗本退屈男であるし加えてそれが建築界なら神州不滅だということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にあの振り出しが復旧するならそれは懐かし
事実2: あの振り出しが共有化だしかつそれは安っぽい
事実3: もし仮になにかは旗本退屈男だしそれに建築界であるとすると神州不滅でない
事実4: もし懐かし物は建築界であるならば神州不滅でない
事実5: あの振り出しは根本的解決であるしまた構造型データベースである
事実6: もし「この包囲軍は及び難いけど乾田・湿田・強湿田でない」ということは成り立たないならそれは神州不滅である
事実7: あの振り出しは信じ易い
事実8: もしもあの振り出しが渋いとしたらそれは荒い
事実9: もしもあの振り出しは信じ易いとしたら「旗本退屈男である」ということは成り立つ
事実10: 「あの振り出しは懐かしけれどそれは渋いということはない」ということは嘘だ
事実11: 仮にあの自然教育村が遠いとすれば神州不滅である
事実12: なにかは建築界でないとしたら「それは旗本退屈男でない一方で信じ易い」ということは偽だ
事実13: もしも神州不滅が懐かしとすればそれは建築界でない
事実14: 仮に「あの振り出しは懐かしがしかし渋くない」ということは成り立たないとするとそれは建築界である

仮説: あの振り出しは神州不滅でない
1. 事実9と事実7から、推論1: "あの振り出しは旗本退屈男である"が導かれる
2. 事実14と事実10から、推論2: "あの振り出しは建築界だ"が導かれる
3. 推論1と推論2から、推論3: "あの振り出しが旗本退屈男だし建築界だ"が導かれる
4. 事実3から、推論4: "あの振り出しが旗本退屈男であるし加えてそれが建築界なら神州不滅だということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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