ごついということは発生しない
fact1: 仮にぽちゅぽえLv.45事件が生じるしまた複合することが発生するならぷくぷにLv.15事件は発生しない fact2: 止めど無いということが発生する fact3: 「若しということが起きる」ということは確かだ fact4: 「ごついということは発生しない」ということは他愛無いということおよび若しということが起こるに起因する fact5: 他愛無いということが起こるし無理無いということが生じる
fact5 -> int1: 他愛無いということが発生する; int1 & fact3 -> int2: 他愛無いということが起こるしそれに若しということが生じる; int2 & fact4 -> hypothesis;
fact5 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 仮にぽちゅぽえLv.45事件が生じるしまた複合することが発生するならぷくぷにLv.15事件は発生しない fact2: 止めど無いということが発生する fact3: 「若しということが起きる」ということは確かだ fact4: 「ごついということは発生しない」ということは他愛無いということおよび若しということが起こるに起因する fact5: 他愛無いということが起こるし無理無いということが生じる ; $hypothesis$ = ごついということは発生しない ; $proof$ = 
fact5 -> int1: 他愛無いということが発生する; int1 & fact3 -> int2: 他愛無いということが起こるしそれに若しということが生じる; int2 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__