その授業日記は感得すらない
fact1: もしあの民事が其れらしくないならあのシュルレアリスト達は其れらしいかあるいはそれは白々しかないかあるいは両方だ fact2: その授業日記は白々しい fact3: もしもそのグリーン車が同船しないとすればその授業日記は感得すらない fact4: あの民事は抓る fact5: とある物が小休止するししかもそれが其れらしいとしたらそれは抓らない fact6: あのＭＭＳＥは小休止しない fact7: その授業日記は叶えない fact8: あのカムイユーカラは小休止する fact9: あのシュルレアリスト達は其れらしいか白々しいかまたは両方だ fact10: その授業日記は抓る fact11: 仮にあのシュルレアリスト達が其れらしいかもしくは白々しかないかどちらもであるとするとそのグリーン車は同船しない fact12: もし仮にあのシュルレアリスト達が白々しかないならばそのグリーン車は同船しない fact13: あの民事は小休止する fact14: あのシュルレアリスト達は感得す fact15: 仮にあの民事が小休止しないならあのシュルレアリスト達は小休止するかまたはそれは其れらしくないかまたは両方ともである fact16: もしあの民事が其れらしくないならあのシュルレアリスト達は其れらしいかまたは白々しい fact17: 其れらしくないものは感得すしおまけに小休止する fact18: あの定型入力は抓る
void -> assump1: 以下のように仮定する。「あの民事は其れらしい」ということは本当である; fact13 & assump1 -> int1: あの民事は小休止するし其れらしい; fact5 -> int2: 仮にあの民事は小休止するしそれに其れらしいならそれは抓らない; int1 & int2 -> int3: あの民事は抓るということはない; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの民事は其れらしくない; int5 & fact1 -> int6: あのシュルレアリスト達は其れらしいかもしくはそれは白々しかない; int6 & fact11 -> int7: そのグリーン車は同船しない; int7 & fact3 -> hypothesis;
その授業日記は感得す
fact19 -> int8: もしもその授業日記が其れらしくないとしたら感得すし小休止する;
$facts$ = fact1: もしあの民事が其れらしくないならあのシュルレアリスト達は其れらしいかあるいはそれは白々しかないかあるいは両方だ fact2: その授業日記は白々しい fact3: もしもそのグリーン車が同船しないとすればその授業日記は感得すらない fact4: あの民事は抓る fact5: とある物が小休止するししかもそれが其れらしいとしたらそれは抓らない fact6: あのＭＭＳＥは小休止しない fact7: その授業日記は叶えない fact8: あのカムイユーカラは小休止する fact9: あのシュルレアリスト達は其れらしいか白々しいかまたは両方だ fact10: その授業日記は抓る fact11: 仮にあのシュルレアリスト達が其れらしいかもしくは白々しかないかどちらもであるとするとそのグリーン車は同船しない fact12: もし仮にあのシュルレアリスト達が白々しかないならばそのグリーン車は同船しない fact13: あの民事は小休止する fact14: あのシュルレアリスト達は感得す fact15: 仮にあの民事が小休止しないならあのシュルレアリスト達は小休止するかまたはそれは其れらしくないかまたは両方ともである fact16: もしあの民事が其れらしくないならあのシュルレアリスト達は其れらしいかまたは白々しい fact17: 其れらしくないものは感得すしおまけに小休止する fact18: あの定型入力は抓る ; $hypothesis$ = その授業日記は感得すらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの民事は其れらしい」ということは本当である; fact13 & assump1 -> int1: あの民事は小休止するし其れらしい; fact5 -> int2: 仮にあの民事は小休止するしそれに其れらしいならそれは抓らない; int1 & int2 -> int3: あの民事は抓るということはない; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの民事は其れらしくない; int5 & fact1 -> int6: あのシュルレアリスト達は其れらしいかもしくはそれは白々しかない; int6 & fact11 -> int7: そのグリーン車は同船しない; int7 & fact3 -> hypothesis; __PROVED__
事実1: もしあの民事が其れらしくないならあのシュルレアリスト達は其れらしいかあるいはそれは白々しかないかあるいは両方だ
事実2: その授業日記は白々しい
事実3: もしもそのグリーン車が同船しないとすればその授業日記は感得すらない
事実4: あの民事は抓る
事実5: とある物が小休止するししかもそれが其れらしいとしたらそれは抓らない
事実6: あのＭＭＳＥは小休止しない
事実7: その授業日記は叶えない
事実8: あのカムイユーカラは小休止する
事実9: あのシュルレアリスト達は其れらしいか白々しいかまたは両方だ
事実10: その授業日記は抓る
事実11: 仮にあのシュルレアリスト達が其れらしいかもしくは白々しかないかどちらもであるとするとそのグリーン車は同船しない
事実12: もし仮にあのシュルレアリスト達が白々しかないならばそのグリーン車は同船しない
事実13: あの民事は小休止する
事実14: あのシュルレアリスト達は感得す
事実15: 仮にあの民事が小休止しないならあのシュルレアリスト達は小休止するかまたはそれは其れらしくないかまたは両方ともである
事実16: もしあの民事が其れらしくないならあのシュルレアリスト達は其れらしいかまたは白々しい
事実17: 其れらしくないものは感得すしおまけに小休止する
事実18: あの定型入力は抓る

仮説: その授業日記は感得すらない
1. 仮定1: 以下のように仮定する。「あの民事は其れらしい」ということは本当である
2. 事実13と仮定1から、推論1: "あの民事は小休止するし其れらしい"が導かれる
3. 事実5から、推論2: "仮にあの民事は小休止するしそれに其れらしいならそれは抓らない"が導かれる
4. 推論1と推論2から、推論3: "あの民事は抓るということはない"が導かれる
5. 推論3と事実4から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの民事は其れらしくない"が導かれる
7. 推論5と事実1から、推論6: "あのシュルレアリスト達は其れらしいかもしくはそれは白々しかない"が導かれる
8. 推論6と事実11から、推論7: "そのグリーン車は同船しない"が導かれる
9. 推論7と事実3から、仮説が導かれる

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