もしあのライヒ家は移封しないししかも可笑しくないとすれば「柔くない」ということは成り立つ
fact1: あの細巻は移封しない fact2: 仮にあのライヒ家は移封するがしかし可笑しくないならばそれは柔くない fact3: 「あのライヒ家は移封しない」ということは正しい fact4: 仮にこの脂溶性成分が柔いとすればあのライヒ家は移封するということはないしまた亡くさない fact5: もし「その服務は柔くないかあるいは骨折らない」ということは成り立たないとすればあの脂溶性成分は柔い fact6: その高原地帯は益無しししかも範囲内である fact7: あのライヒ家はこっ酷くない fact8: もしあのライヒ家は柔いとしたら「それは移封しなくて可笑しくない」ということは嘘だ fact9: もしもあのライヒ家は移封しないが可笑しいならばそれは柔くない fact10: 全ては着席するということはない fact11: もしもあのライヒ家が可笑しいならば通信塔でなくておまけに鬱陶しかない fact12: もしもこの材面が神経細胞間ならばその高原地帯は鑑みる fact13: もし仮に何らかの物が着席しないとしたら神経細胞間であるかもしくはそれは写真投影法だ fact14: もしもあのライヒ家は移封しなくておまけに可笑しいということはないとしたらそれは柔い
void -> assump2: 以下のように仮定する。あのライヒ家は柔い; fact8 & assump2 -> int1: 「あのライヒ家は移封するということはなくてしかもそれは可笑しいということはない」ということは誤りである; void -> assump1: 以下のように仮定する。あのライヒ家は移封しなくて加えて可笑しくない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あのライヒ家は柔いということはない; [assump1] & int3 -> hypothesis;
あのライヒ家は移封しなくて亡くさない
fact16 -> int4: その高原地帯は益無し; fact17 -> int5: もしその一郭が着席しないとすれば神経細胞間であるかまたは写真投影法であるかまたはどちらもである; fact20 -> int6: その一郭は着席しない; int5 & int6 -> int7: その一郭は神経細胞間であるかあるいは写真投影法だ; int7 -> int8: あらゆるものは神経細胞間であるかあるいはそれは写真投影法であるかもしくは両方ともである; int8 -> int9: この材面は神経細胞間であるかもしくはそれは写真投影法であるかどちらもだ;
$facts$ = fact1: あの細巻は移封しない fact2: 仮にあのライヒ家は移封するがしかし可笑しくないならばそれは柔くない fact3: 「あのライヒ家は移封しない」ということは正しい fact4: 仮にこの脂溶性成分が柔いとすればあのライヒ家は移封するということはないしまた亡くさない fact5: もし「その服務は柔くないかあるいは骨折らない」ということは成り立たないとすればあの脂溶性成分は柔い fact6: その高原地帯は益無しししかも範囲内である fact7: あのライヒ家はこっ酷くない fact8: もしあのライヒ家は柔いとしたら「それは移封しなくて可笑しくない」ということは嘘だ fact9: もしもあのライヒ家は移封しないが可笑しいならばそれは柔くない fact10: 全ては着席するということはない fact11: もしもあのライヒ家が可笑しいならば通信塔でなくておまけに鬱陶しかない fact12: もしもこの材面が神経細胞間ならばその高原地帯は鑑みる fact13: もし仮に何らかの物が着席しないとしたら神経細胞間であるかもしくはそれは写真投影法だ fact14: もしもあのライヒ家は移封しなくておまけに可笑しいということはないとしたらそれは柔い ; $hypothesis$ = もしあのライヒ家は移封しないししかも可笑しくないとすれば「柔くない」ということは成り立つ ; $proof$ = 
void -> assump2: 以下のように仮定する。あのライヒ家は柔い; fact8 & assump2 -> int1: 「あのライヒ家は移封するということはなくてしかもそれは可笑しいということはない」ということは誤りである; void -> assump1: 以下のように仮定する。あのライヒ家は移封しなくて加えて可笑しくない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あのライヒ家は柔いということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの細巻は移封しない
事実2: 仮にあのライヒ家は移封するがしかし可笑しくないならばそれは柔くない
事実3: 「あのライヒ家は移封しない」ということは正しい
事実4: 仮にこの脂溶性成分が柔いとすればあのライヒ家は移封するということはないしまた亡くさない
事実5: もし「その服務は柔くないかあるいは骨折らない」ということは成り立たないとすればあの脂溶性成分は柔い
事実6: その高原地帯は益無しししかも範囲内である
事実7: あのライヒ家はこっ酷くない
事実8: もしあのライヒ家は柔いとしたら「それは移封しなくて可笑しくない」ということは嘘だ
事実9: もしもあのライヒ家は移封しないが可笑しいならばそれは柔くない
事実10: 全ては着席するということはない
事実11: もしもあのライヒ家が可笑しいならば通信塔でなくておまけに鬱陶しかない
事実12: もしもこの材面が神経細胞間ならばその高原地帯は鑑みる
事実13: もし仮に何らかの物が着席しないとしたら神経細胞間であるかもしくはそれは写真投影法だ
事実14: もしもあのライヒ家は移封しなくておまけに可笑しいということはないとしたらそれは柔い

仮説: もしあのライヒ家は移封しないししかも可笑しくないとすれば「柔くない」ということは成り立つ
1. 仮定2: 以下のように仮定する。あのライヒ家は柔い
2. 事実8と仮定2から、推論1: "「あのライヒ家は移封するということはなくてしかもそれは可笑しいということはない」ということは誤りである"が導かれる
3. 仮定1: 以下のように仮定する。あのライヒ家は移封しなくて加えて可笑しくない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あのライヒ家は柔いということはない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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