ぷいぷにゃLv.4事件が起こる
fact1: 「焼損することが発生する」ということは成り立つ fact2: もし仮に焼損することが生じればぷにぷねLv.90事件は発生するし物質化することは起こらない fact3: もし「ぽわぽちょLv.44事件と合わせ辛いということが起こる」ということは偽であるとすると合わせ辛いということは生じない fact4: 物質化することは起きない fact5: 合わせ辛いということはぷにぷねLv.90事件がきっかけだ fact6: ぷいぷにゃLv.4事件が合わせ辛いということは発生するということにもたらされる
fact2 & fact1 -> int1: ぷにぷねLv.90事件が起こるけど物質化することは生じない; int1 -> int2: 「ぷにぷねLv.90事件は起きない」ということは真実でない; int2 & fact5 -> int3: 合わせ辛いということが起こる; int3 & fact6 -> hypothesis;
fact2 & fact1 -> int1: ({AA} & ¬{AB}); int1 -> int2: {AA}; int2 & fact5 -> int3: {B}; int3 & fact6 -> hypothesis;
ぷいぷにゃLv.4事件は発生しない
$facts$ = fact1: 「焼損することが発生する」ということは成り立つ fact2: もし仮に焼損することが生じればぷにぷねLv.90事件は発生するし物質化することは起こらない fact3: もし「ぽわぽちょLv.44事件と合わせ辛いということが起こる」ということは偽であるとすると合わせ辛いということは生じない fact4: 物質化することは起きない fact5: 合わせ辛いということはぷにぷねLv.90事件がきっかけだ fact6: ぷいぷにゃLv.4事件が合わせ辛いということは発生するということにもたらされる ; $hypothesis$ = ぷいぷにゃLv.4事件が起こる ; $proof$ = 
fact2 & fact1 -> int1: ぷにぷねLv.90事件が起こるけど物質化することは生じない; int1 -> int2: 「ぷにぷねLv.90事件は起きない」ということは真実でない; int2 & fact5 -> int3: 合わせ辛いということが起こる; int3 & fact6 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({AA} & ¬{AB}); int1 -> int2: {AA}; int2 & fact5 -> int3: {B}; int3 & fact6 -> hypothesis; __PROVED__