「あの雑誌名は裏返るけど笑い過ぎない」ということは嘘だ
fact1: もし仮にあの複合過程は裏返らないなら「あの雑誌名は裏返る一方でそれは笑い過ぎない」ということは誤っている fact2: もしもその超過がファクター毎でないならあの複合過程は裏返らない fact3: この団子は大抜擢である fact4: この団子はクレヨンだ fact5: もし仮にとあるものがクレヨンでそれが大抜擢だとすればその超過はファクター毎でない
fact4 & fact3 -> int1: この団子がクレヨンだしその上それは大抜擢である; int1 -> int2: なにがしかの物はクレヨンであるしおまけにそれは大抜擢だ; int2 & fact5 -> int3: その超過はファクター毎であるということはない; int3 & fact2 -> int4: あの複合過程は裏返らない; int4 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあの複合過程は裏返らないなら「あの雑誌名は裏返る一方でそれは笑い過ぎない」ということは誤っている fact2: もしもその超過がファクター毎でないならあの複合過程は裏返らない fact3: この団子は大抜擢である fact4: この団子はクレヨンだ fact5: もし仮にとあるものがクレヨンでそれが大抜擢だとすればその超過はファクター毎でない ; $hypothesis$ = 「あの雑誌名は裏返るけど笑い過ぎない」ということは嘘だ ; $proof$ = 
fact4 & fact3 -> int1: この団子がクレヨンだしその上それは大抜擢である; int1 -> int2: なにがしかの物はクレヨンであるしおまけにそれは大抜擢だ; int2 & fact5 -> int3: その超過はファクター毎であるということはない; int3 & fact2 -> int4: あの複合過程は裏返らない; int4 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの複合過程は裏返らないなら「あの雑誌名は裏返る一方でそれは笑い過ぎない」ということは誤っている
事実2: もしもその超過がファクター毎でないならあの複合過程は裏返らない
事実3: この団子は大抜擢である
事実4: この団子はクレヨンだ
事実5: もし仮にとあるものがクレヨンでそれが大抜擢だとすればその超過はファクター毎でない

仮説: 「あの雑誌名は裏返るけど笑い過ぎない」ということは嘘だ
1. 事実4と事実3から、推論1: "この団子がクレヨンだしその上それは大抜擢である"が導かれる
2. 推論1から、推論2: "なにがしかの物はクレヨンであるしおまけにそれは大抜擢だ"が導かれる
3. 推論2と事実5から、推論3: "その超過はファクター毎であるということはない"が導かれる
4. 推論3と事実2から、推論4: "あの複合過程は裏返らない"が導かれる
5. 推論4と事実1から、仮説が導かれる

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