考え難いということが生じる
fact1: 「ぷいぷよLv.73事件と勿体無いということが生じる」ということは考え難いということを防ぐ fact2: 勿体無いということが起こる fact3: まやまにょLv.92事件およびぷいぷよLv.73事件両方が起きる
fact3 -> int1: ぷいぷよLv.73事件が発生する; int1 & fact2 -> int2: ぷいぷよLv.73事件が起こるし更に勿体無いということが発生する; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「ぷいぷよLv.73事件と勿体無いということが生じる」ということは考え難いということを防ぐ fact2: 勿体無いということが起こる fact3: まやまにょLv.92事件およびぷいぷよLv.73事件両方が起きる ; $hypothesis$ = 考え難いということが生じる ; $proof$ = 
fact3 -> int1: ぷいぷよLv.73事件が発生する; int1 & fact2 -> int2: ぷいぷよLv.73事件が起こるし更に勿体無いということが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__