もしその公開会社がくどくないならあの左弓歩は鳴動だし煙たい
fact1: もしもその公開会社が市井ちゃんならそれはくどい fact2: 仮に「あの左弓歩は間違えない」ということは成り立つなら「それはくどくなくて鳴動だということはない」ということは嘘だ fact3: もし仮にその公開会社が争うならあの左弓歩は鳴動である fact4: あの左弓歩は出版不況だ fact5: その水麗人は市井ちゃんである fact6: もし仮にその公開会社がくどいならあの左弓歩は鳴動でその上煙たい fact7: 「あの左弓歩は争う」ということは事実と異なるということはない fact8: あの左弓歩は煙たい fact9: 仮にあの左弓歩が争わないならその公開会社は鳴動であるし加えてそれは煙たい fact10: 仮にその公開会社は争わないとすれば「「市井ちゃんだしさらにそれは間違えるということはない」ということは確かだ」ということは間違っている fact11: 「あの御陰は尋ね為さるけど争わない」ということは本当でない fact12: その公開会社は練り上げない fact13: もし「その公開会社は市井ちゃんでなくてまた間違えない」ということは事実と異なるとすればそれはくどい fact14: その公開会社は下り続けない fact15: その公開会社は鳴動である fact16: もしもその公開会社は争わないならば「それは市井ちゃんでなくておまけに間違えない」ということは間違っている fact17: 「その公開会社はせせこましい」ということは成り立つ
void -> assump1: 以下のように仮定する。「その公開会社は争わない」ということは事実である; fact16 & assump1 -> int1: 「その公開会社は市井ちゃんでないししかも間違えない」ということは正しくない; int1 & fact13 -> int2: その公開会社はくどい; void -> assump2: 以下のように仮定する。その公開会社はくどくない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その公開会社は争う; int4 & fact3 -> int5: あの左弓歩は鳴動である; int5 & fact8 -> int6: 「あの左弓歩は鳴動だしそれに煙たい」ということは間違っているということはない; [assump2] & int6 -> hypothesis;
$facts$ = fact1: もしもその公開会社が市井ちゃんならそれはくどい fact2: 仮に「あの左弓歩は間違えない」ということは成り立つなら「それはくどくなくて鳴動だということはない」ということは嘘だ fact3: もし仮にその公開会社が争うならあの左弓歩は鳴動である fact4: あの左弓歩は出版不況だ fact5: その水麗人は市井ちゃんである fact6: もし仮にその公開会社がくどいならあの左弓歩は鳴動でその上煙たい fact7: 「あの左弓歩は争う」ということは事実と異なるということはない fact8: あの左弓歩は煙たい fact9: 仮にあの左弓歩が争わないならその公開会社は鳴動であるし加えてそれは煙たい fact10: 仮にその公開会社は争わないとすれば「「市井ちゃんだしさらにそれは間違えるということはない」ということは確かだ」ということは間違っている fact11: 「あの御陰は尋ね為さるけど争わない」ということは本当でない fact12: その公開会社は練り上げない fact13: もし「その公開会社は市井ちゃんでなくてまた間違えない」ということは事実と異なるとすればそれはくどい fact14: その公開会社は下り続けない fact15: その公開会社は鳴動である fact16: もしもその公開会社は争わないならば「それは市井ちゃんでなくておまけに間違えない」ということは間違っている fact17: 「その公開会社はせせこましい」ということは成り立つ ; $hypothesis$ = もしその公開会社がくどくないならあの左弓歩は鳴動だし煙たい ; $proof$ = 
void -> assump1: 以下のように仮定する。「その公開会社は争わない」ということは事実である; fact16 & assump1 -> int1: 「その公開会社は市井ちゃんでないししかも間違えない」ということは正しくない; int1 & fact13 -> int2: その公開会社はくどい; void -> assump2: 以下のように仮定する。その公開会社はくどくない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その公開会社は争う; int4 & fact3 -> int5: あの左弓歩は鳴動である; int5 & fact8 -> int6: 「あの左弓歩は鳴動だしそれに煙たい」ということは間違っているということはない; [assump2] & int6 -> hypothesis; __PROVED__
事実1: もしもその公開会社が市井ちゃんならそれはくどい
事実2: 仮に「あの左弓歩は間違えない」ということは成り立つなら「それはくどくなくて鳴動だということはない」ということは嘘だ
事実3: もし仮にその公開会社が争うならあの左弓歩は鳴動である
事実4: あの左弓歩は出版不況だ
事実5: その水麗人は市井ちゃんである
事実6: もし仮にその公開会社がくどいならあの左弓歩は鳴動でその上煙たい
事実7: 「あの左弓歩は争う」ということは事実と異なるということはない
事実8: あの左弓歩は煙たい
事実9: 仮にあの左弓歩が争わないならその公開会社は鳴動であるし加えてそれは煙たい
事実10: 仮にその公開会社は争わないとすれば「「市井ちゃんだしさらにそれは間違えるということはない」ということは確かだ」ということは間違っている
事実11: 「あの御陰は尋ね為さるけど争わない」ということは本当でない
事実12: その公開会社は練り上げない
事実13: もし「その公開会社は市井ちゃんでなくてまた間違えない」ということは事実と異なるとすればそれはくどい
事実14: その公開会社は下り続けない
事実15: その公開会社は鳴動である
事実16: もしもその公開会社は争わないならば「それは市井ちゃんでなくておまけに間違えない」ということは間違っている
事実17: 「その公開会社はせせこましい」ということは成り立つ

仮説: もしその公開会社がくどくないならあの左弓歩は鳴動だし煙たい
1. 仮定1: 以下のように仮定する。「その公開会社は争わない」ということは事実である
2. 事実16と仮定1から、推論1: "「その公開会社は市井ちゃんでないししかも間違えない」ということは正しくない"が導かれる
3. 推論1と事実13から、推論2: "その公開会社はくどい"が導かれる
4. 仮定2: 以下のように仮定する。その公開会社はくどくない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その公開会社は争う"が導かれる
7. 推論4と事実3から、推論5: "あの左弓歩は鳴動である"が導かれる
8. 推論5と事実8から、推論6: "「あの左弓歩は鳴動だしそれに煙たい」ということは間違っているということはない"が導かれる
9. [仮定2]と推論6から、仮説が導かれる

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