もし仮にこの炒り卵は緑であるなら「このカーキは代謝経路だけれどそれは第二秘書でない」ということは成り立たない
fact1: もし仮に何らかのものは留年しないとすれば「代謝経路だし更にそれは第二秘書だ」ということは偽だ fact2: この江川家が長ったらしいしそれが覚え切れるとするとこのカーキは留年しない fact3: 「この江川家は活用し易くないかもしくは換装しない」ということは嘘だ fact4: 「このカーキは代謝経路であるしかつ第二秘書だ」ということは間違いだ fact5: このカーキは代謝経路であるけれど第二秘書でない fact6: もしもこの炒り卵が膵臓だとしたらこの江川家は覚え切れる fact7: もし仮に「何かは性分らしい」ということは確かなら「長ったらしい」ということは誤っていない fact8: 仮にこのカーキが膵臓であるしそれが性分らしいならばこの江川家は代謝経路でない fact9: もしもあるものは留年しないとすれば「それは代謝経路だが第二秘書でない」ということは偽である fact10: 「この炒り卵は由々しけど覚え切れない」ということは嘘である fact11: もしもこのカーキが留年しないならばそれは代謝経路でそれは第二秘書でない fact12: この江川家は活用し易い fact13: もし仮に何らかの物が留年しないならば代謝経路である一方で第二秘書だということはない fact14: 「この江川家は活用し易くないかそれは換装しないかまたはどちらもだ」ということは偽だとすると性分らしい fact15: 「この炒り卵は緑でないか膵臓であるかまたは両方である」ということは嘘であるならばこの床全体は覚え切れる fact16: もしもこの炒り卵は緑であるなら膵臓である
void -> assump1: 以下のように仮定する。この炒り卵は緑だ; fact16 & assump1 -> int1: この炒り卵は膵臓だ; int1 & fact6 -> int2: この江川家は覚え切れる; fact3 & fact14 -> int3: この江川家は性分らしい; fact7 -> int4: もしも「この江川家は性分らしい」ということは成り立てば長ったらしい; int3 & int4 -> int5: この江川家は長ったらしい; int2 & int5 -> int6: この江川家は長ったらしくてそれに覚え切れる; int6 & fact2 -> int7: このカーキは留年しない; fact9 -> int8: もし仮にこのカーキは留年するということはないなら「それは代謝経路でおまけにそれは第二秘書でない」ということは事実と異なる; int7 & int8 -> int9: 「このカーキは代謝経路であるがしかし第二秘書でない」ということは成り立つということはない; [assump1] & int9 -> hypothesis;
この床全体は覚え切れる
$facts$ = fact1: もし仮に何らかのものは留年しないとすれば「代謝経路だし更にそれは第二秘書だ」ということは偽だ fact2: この江川家が長ったらしいしそれが覚え切れるとするとこのカーキは留年しない fact3: 「この江川家は活用し易くないかもしくは換装しない」ということは嘘だ fact4: 「このカーキは代謝経路であるしかつ第二秘書だ」ということは間違いだ fact5: このカーキは代謝経路であるけれど第二秘書でない fact6: もしもこの炒り卵が膵臓だとしたらこの江川家は覚え切れる fact7: もし仮に「何かは性分らしい」ということは確かなら「長ったらしい」ということは誤っていない fact8: 仮にこのカーキが膵臓であるしそれが性分らしいならばこの江川家は代謝経路でない fact9: もしもあるものは留年しないとすれば「それは代謝経路だが第二秘書でない」ということは偽である fact10: 「この炒り卵は由々しけど覚え切れない」ということは嘘である fact11: もしもこのカーキが留年しないならばそれは代謝経路でそれは第二秘書でない fact12: この江川家は活用し易い fact13: もし仮に何らかの物が留年しないならば代謝経路である一方で第二秘書だということはない fact14: 「この江川家は活用し易くないかそれは換装しないかまたはどちらもだ」ということは偽だとすると性分らしい fact15: 「この炒り卵は緑でないか膵臓であるかまたは両方である」ということは嘘であるならばこの床全体は覚え切れる fact16: もしもこの炒り卵は緑であるなら膵臓である ; $hypothesis$ = もし仮にこの炒り卵は緑であるなら「このカーキは代謝経路だけれどそれは第二秘書でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この炒り卵は緑だ; fact16 & assump1 -> int1: この炒り卵は膵臓だ; int1 & fact6 -> int2: この江川家は覚え切れる; fact3 & fact14 -> int3: この江川家は性分らしい; fact7 -> int4: もしも「この江川家は性分らしい」ということは成り立てば長ったらしい; int3 & int4 -> int5: この江川家は長ったらしい; int2 & int5 -> int6: この江川家は長ったらしくてそれに覚え切れる; int6 & fact2 -> int7: このカーキは留年しない; fact9 -> int8: もし仮にこのカーキは留年するということはないなら「それは代謝経路でおまけにそれは第二秘書でない」ということは事実と異なる; int7 & int8 -> int9: 「このカーキは代謝経路であるがしかし第二秘書でない」ということは成り立つということはない; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものは留年しないとすれば「代謝経路だし更にそれは第二秘書だ」ということは偽だ
事実2: この江川家が長ったらしいしそれが覚え切れるとするとこのカーキは留年しない
事実3: 「この江川家は活用し易くないかもしくは換装しない」ということは嘘だ
事実4: 「このカーキは代謝経路であるしかつ第二秘書だ」ということは間違いだ
事実5: このカーキは代謝経路であるけれど第二秘書でない
事実6: もしもこの炒り卵が膵臓だとしたらこの江川家は覚え切れる
事実7: もし仮に「何かは性分らしい」ということは確かなら「長ったらしい」ということは誤っていない
事実8: 仮にこのカーキが膵臓であるしそれが性分らしいならばこの江川家は代謝経路でない
事実9: もしもあるものは留年しないとすれば「それは代謝経路だが第二秘書でない」ということは偽である
事実10: 「この炒り卵は由々しけど覚え切れない」ということは嘘である
事実11: もしもこのカーキが留年しないならばそれは代謝経路でそれは第二秘書でない
事実12: この江川家は活用し易い
事実13: もし仮に何らかの物が留年しないならば代謝経路である一方で第二秘書だということはない
事実14: 「この江川家は活用し易くないかそれは換装しないかまたはどちらもだ」ということは偽だとすると性分らしい
事実15: 「この炒り卵は緑でないか膵臓であるかまたは両方である」ということは嘘であるならばこの床全体は覚え切れる
事実16: もしもこの炒り卵は緑であるなら膵臓である

仮説: もし仮にこの炒り卵は緑であるなら「このカーキは代謝経路だけれどそれは第二秘書でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この炒り卵は緑だ
2. 事実16と仮定1から、推論1: "この炒り卵は膵臓だ"が導かれる
3. 推論1と事実6から、推論2: "この江川家は覚え切れる"が導かれる
4. 事実3と事実14から、推論3: "この江川家は性分らしい"が導かれる
5. 事実7から、推論4: "もしも「この江川家は性分らしい」ということは成り立てば長ったらしい"が導かれる
6. 推論3と推論4から、推論5: "この江川家は長ったらしい"が導かれる
7. 推論2と推論5から、推論6: "この江川家は長ったらしくてそれに覚え切れる"が導かれる
8. 推論6と事実2から、推論7: "このカーキは留年しない"が導かれる
9. 事実9から、推論8: "もし仮にこのカーキは留年するということはないなら「それは代謝経路でおまけにそれは第二秘書でない」ということは事実と異なる"が導かれる
10. 推論7と推論8から、推論9: "「このカーキは代謝経路であるがしかし第二秘書でない」ということは成り立つということはない"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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