おもろいということは起きない
fact1: 行い易いということは生じない fact2: 所らしいということは起きないしそれに再投資することは起きない fact3: もし仮にぴちゅぴにょLv.55事件が生じないとすればおもろいということは起きないしぴちゅぴにょLv.55事件は生じない fact4: おもろいということは行い易いということに由来する fact5: 起こり易いということは起きないということは影響され易いということは生じないということに帰結する fact6: もしも「行い易いということではなくてぴちゅぴにょLv.55事件が生じる」ということは間違っていれば大人っぽいということは起きない fact7: ぴちゅぴにょLv.55事件は発生しないということは「行い易いということは起こらない」ということに由来する
fact7 & fact1 -> int1: ぴちゅぴにょLv.55事件は発生しない; int1 & fact3 -> int2: おもろいということは起きなくてその上ぴちゅぴにょLv.55事件は発生しない; int2 -> hypothesis;
fact7 & fact1 -> int1: ¬{B}; int1 & fact3 -> int2: (¬{C} & ¬{B}); int2 -> hypothesis;
おもろいということが発生する
$facts$ = fact1: 行い易いということは生じない fact2: 所らしいということは起きないしそれに再投資することは起きない fact3: もし仮にぴちゅぴにょLv.55事件が生じないとすればおもろいということは起きないしぴちゅぴにょLv.55事件は生じない fact4: おもろいということは行い易いということに由来する fact5: 起こり易いということは起きないということは影響され易いということは生じないということに帰結する fact6: もしも「行い易いということではなくてぴちゅぴにょLv.55事件が生じる」ということは間違っていれば大人っぽいということは起きない fact7: ぴちゅぴにょLv.55事件は発生しないということは「行い易いということは起こらない」ということに由来する ; $hypothesis$ = おもろいということは起きない ; $proof$ = 
fact7 & fact1 -> int1: ぴちゅぴにょLv.55事件は発生しない; int1 & fact3 -> int2: おもろいということは起きなくてその上ぴちゅぴにょLv.55事件は発生しない; int2 -> hypothesis; __PROVED__
fact7 & fact1 -> int1: ¬{B}; int1 & fact3 -> int2: (¬{C} & ¬{B}); int2 -> hypothesis; __PROVED__