ぷにょぷなLv.65事件が起こる
fact1: ぴのぴにょLv.28事件は生じない fact2: もしも間近いということが生じるし呈示することが起こらないならばもえもねLv.10事件は発生しない fact3: 仮に「間違い易いということが起きる」ということは本当であるとすると散見することは起きない fact4: 間近いということおよび呈示すること両方ともが起きる fact5: ぷにゅぷにLv.9事件は発生しない fact6: 汚らしいということは起こらない
fact4 -> int1: 間近いということが起きる; int1 -> int2: 「荒いということが起こるかまたは間近いということが発生するかまたは両方ともである」ということは成り立つ;
fact4 -> int1: {A}; int1 -> int2: ({C} v {A});
もえもねLv.10事件は起きない
$facts$ = fact1: ぴのぴにょLv.28事件は生じない fact2: もしも間近いということが生じるし呈示することが起こらないならばもえもねLv.10事件は発生しない fact3: 仮に「間違い易いということが起きる」ということは本当であるとすると散見することは起きない fact4: 間近いということおよび呈示すること両方ともが起きる fact5: ぷにゅぷにLv.9事件は発生しない fact6: 汚らしいということは起こらない ; $hypothesis$ = ぷにょぷなLv.65事件が起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__