際どいということは生じない
fact1: ぎこちないということは「ぽちゃぽちゅLv.50事件が起きる」ということに帰結する fact2: ぎこちないということが発生するかまたは大人しいということが生じるかもしくはどちらもである fact3: もし仮にぽちゃぽちゅLv.50事件が起こるとするとぽちゃぽちゅLv.50事件が起きるが際どいということは生じない fact4: 「ぽちゃぽちゅLv.50事件が起きる」ということは大人しいということにより生じる
fact2 & fact1 & fact4 -> int1: ぽちゃぽちゅLv.50事件が起きる; int1 & fact3 -> int2: ぽちゃぽちゅLv.50事件が起きるけれど際どいということは生じない; int2 -> hypothesis;
fact2 & fact1 & fact4 -> int1: {C}; int1 & fact3 -> int2: ({C} & ¬{E}); int2 -> hypothesis;
$facts$ = fact1: ぎこちないということは「ぽちゃぽちゅLv.50事件が起きる」ということに帰結する fact2: ぎこちないということが発生するかまたは大人しいということが生じるかもしくはどちらもである fact3: もし仮にぽちゃぽちゅLv.50事件が起こるとするとぽちゃぽちゅLv.50事件が起きるが際どいということは生じない fact4: 「ぽちゃぽちゅLv.50事件が起きる」ということは大人しいということにより生じる ; $hypothesis$ = 際どいということは生じない ; $proof$ = 
fact2 & fact1 & fact4 -> int1: ぽちゃぽちゅLv.50事件が起きる; int1 & fact3 -> int2: ぽちゃぽちゅLv.50事件が起きるけれど際どいということは生じない; int2 -> hypothesis; __PROVED__
fact2 & fact1 & fact4 -> int1: {C}; int1 & fact3 -> int2: ({C} & ¬{E}); int2 -> hypothesis; __PROVED__