もしあの避妊は物理的製品であるなら「この六道輪廻は吹き続けない」ということは事実である
fact1: もしあの避妊が遠足であるし物理的製品であるとするとこの六道輪廻は吹き続ける fact2: 仮にあの避妊が遠足だしさらに物理的製品であるとすればこの六道輪廻は吹き続けない fact3: この六道輪廻は粗いしかつ吹き続ける fact4: 「遠足でない」物はある fact5: 「晴々しかない」ものはある fact6: もしもなんらかのものが晴々しかないならそのナイトキャップは初当選しなくてその上粗いということはない fact7: 「もし仮に「吹き続けない」物があるとするとこの六道輪廻は初当選するということはなくておまけに粗くない」ということは正しい fact8: 「晴々しい」ものはある fact9: そのナイトキャップは吹き続ける fact10: そのナイトキャップは粗くない fact11: その二千年頃は物理的製品である fact12: もしもそのナイトキャップが初当選しないけど粗いならばあの避妊は遠足である fact13: 「粗くない」ものはある fact14: この六道輪廻は吹き続ける fact15: 仮になんらかの物が吹き続けるということはないとすればあの六道輪廻は初当選するということはないしその上物理的製品でない fact16: そのナイトキャップが初当選しなくてしかも粗くないとするとあの避妊は遠足である fact17: もし仮に「晴々しかない」ものがあるならそのナイトキャップは粗くない fact18: もしあの避妊は物理的製品ならば「この六道輪廻は吹き続ける」ということは本当である fact19: そのナイトキャップは通り易い
fact5 & fact6 -> int1: そのナイトキャップは初当選しないしそれに粗くない; int1 & fact16 -> int2: あの避妊は遠足だ; void -> assump1: 以下のように仮定する。あの避妊は物理的製品である; int2 & assump1 -> int3: あの避妊が遠足だし物理的製品である; int3 & fact2 -> int4: この六道輪廻は吹き続けない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしあの避妊が遠足であるし物理的製品であるとするとこの六道輪廻は吹き続ける fact2: 仮にあの避妊が遠足だしさらに物理的製品であるとすればこの六道輪廻は吹き続けない fact3: この六道輪廻は粗いしかつ吹き続ける fact4: 「遠足でない」物はある fact5: 「晴々しかない」ものはある fact6: もしもなんらかのものが晴々しかないならそのナイトキャップは初当選しなくてその上粗いということはない fact7: 「もし仮に「吹き続けない」物があるとするとこの六道輪廻は初当選するということはなくておまけに粗くない」ということは正しい fact8: 「晴々しい」ものはある fact9: そのナイトキャップは吹き続ける fact10: そのナイトキャップは粗くない fact11: その二千年頃は物理的製品である fact12: もしもそのナイトキャップが初当選しないけど粗いならばあの避妊は遠足である fact13: 「粗くない」ものはある fact14: この六道輪廻は吹き続ける fact15: 仮になんらかの物が吹き続けるということはないとすればあの六道輪廻は初当選するということはないしその上物理的製品でない fact16: そのナイトキャップが初当選しなくてしかも粗くないとするとあの避妊は遠足である fact17: もし仮に「晴々しかない」ものがあるならそのナイトキャップは粗くない fact18: もしあの避妊は物理的製品ならば「この六道輪廻は吹き続ける」ということは本当である fact19: そのナイトキャップは通り易い ; $hypothesis$ = もしあの避妊は物理的製品であるなら「この六道輪廻は吹き続けない」ということは事実である ; $proof$ = 
fact5 & fact6 -> int1: そのナイトキャップは初当選しないしそれに粗くない; int1 & fact16 -> int2: あの避妊は遠足だ; void -> assump1: 以下のように仮定する。あの避妊は物理的製品である; int2 & assump1 -> int3: あの避妊が遠足だし物理的製品である; int3 & fact2 -> int4: この六道輪廻は吹き続けない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしあの避妊が遠足であるし物理的製品であるとするとこの六道輪廻は吹き続ける
事実2: 仮にあの避妊が遠足だしさらに物理的製品であるとすればこの六道輪廻は吹き続けない
事実3: この六道輪廻は粗いしかつ吹き続ける
事実4: 「遠足でない」物はある
事実5: 「晴々しかない」ものはある
事実6: もしもなんらかのものが晴々しかないならそのナイトキャップは初当選しなくてその上粗いということはない
事実7: 「もし仮に「吹き続けない」物があるとするとこの六道輪廻は初当選するということはなくておまけに粗くない」ということは正しい
事実8: 「晴々しい」ものはある
事実9: そのナイトキャップは吹き続ける
事実10: そのナイトキャップは粗くない
事実11: その二千年頃は物理的製品である
事実12: もしもそのナイトキャップが初当選しないけど粗いならばあの避妊は遠足である
事実13: 「粗くない」ものはある
事実14: この六道輪廻は吹き続ける
事実15: 仮になんらかの物が吹き続けるということはないとすればあの六道輪廻は初当選するということはないしその上物理的製品でない
事実16: そのナイトキャップが初当選しなくてしかも粗くないとするとあの避妊は遠足である
事実17: もし仮に「晴々しかない」ものがあるならそのナイトキャップは粗くない
事実18: もしあの避妊は物理的製品ならば「この六道輪廻は吹き続ける」ということは本当である
事実19: そのナイトキャップは通り易い

仮説: もしあの避妊は物理的製品であるなら「この六道輪廻は吹き続けない」ということは事実である
1. 事実5と事実6から、推論1: "そのナイトキャップは初当選しないしそれに粗くない"が導かれる
2. 推論1と事実16から、推論2: "あの避妊は遠足だ"が導かれる
3. 仮定1: 以下のように仮定する。あの避妊は物理的製品である
4. 推論2と仮定1から、推論3: "あの避妊が遠足だし物理的製品である"が導かれる
5. 推論3と事実2から、推論4: "この六道輪廻は吹き続けない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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