素っ気ないということが起こる
fact1: ぷにぷにょLv.87事件が生じるししかも話し辛いということが起こる fact2: 転がることはぷにぷにょLv.87事件に由来する fact3: 「素っ気ないということは発生しない」ということは転がることに阻止される fact4: みねみゆLv.78事件は起こらないということはもわもいLv.68事件に阻止される
fact1 -> int1: ぷにぷにょLv.87事件が起こる; int1 & fact2 -> int2: 転がることが発生する; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: ぷにぷにょLv.87事件が生じるししかも話し辛いということが起こる fact2: 転がることはぷにぷにょLv.87事件に由来する fact3: 「素っ気ないということは発生しない」ということは転がることに阻止される fact4: みねみゆLv.78事件は起こらないということはもわもいLv.68事件に阻止される ; $hypothesis$ = 素っ気ないということが起こる ; $proof$ = 
fact1 -> int1: ぷにぷにょLv.87事件が起こる; int1 & fact2 -> int2: 転がることが発生する; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__