大暴れすることは起こらない
fact1: 骨っぽいということが生じる fact2: 骨っぽいということはまゆまねLv.67事件は起こらないということを阻止する fact3: 大暴れすることは起こらないということはまゆまねLv.67事件に阻まれる
fact2 & fact1 -> int1: まゆまねLv.67事件が起きる; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 骨っぽいということが生じる fact2: 骨っぽいということはまゆまねLv.67事件は起こらないということを阻止する fact3: 大暴れすることは起こらないということはまゆまねLv.67事件に阻まれる ; $hypothesis$ = 大暴れすることは起こらない ; $proof$ = 
fact2 & fact1 -> int1: まゆまねLv.67事件が起きる; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__