色っぽいということは起こらない
fact1: ぴにょぴいLv.42事件が発生する fact2: まやまねLv.46事件と卑しということが生じるは「わりないということは起こらない」ということがきっかけだ fact3: 卑しということとわりないということが起こる fact4: もし仮にぴにょぴいLv.42事件および卑しということが起こるとしたら色っぽいということは起きない
fact3 -> int1: 卑しということが発生する; int1 & fact1 -> int2: ぴにょぴいLv.42事件と卑しということが起こる; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> int2: ({C} & {A}); int2 & fact4 -> hypothesis;
まやまねLv.46事件が起きる
$facts$ = fact1: ぴにょぴいLv.42事件が発生する fact2: まやまねLv.46事件と卑しということが生じるは「わりないということは起こらない」ということがきっかけだ fact3: 卑しということとわりないということが起こる fact4: もし仮にぴにょぴいLv.42事件および卑しということが起こるとしたら色っぽいということは起きない ; $hypothesis$ = 色っぽいということは起こらない ; $proof$ = 
fact3 -> int1: 卑しということが発生する; int1 & fact1 -> int2: ぴにょぴいLv.42事件と卑しということが起こる; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact1 -> int2: ({C} & {A}); int2 & fact4 -> hypothesis; __PROVED__