当て付けがましいということは起こらない
fact1: 「投げ付けることは発生しない」ということは当て付けがましいということは起こらないということを発生させる fact2: 当て付けがましいということが起きるということは「ぽねぽなLv.68事件が起きる」ということがきっかけだ fact3: ぽねぽなLv.68事件が生じる
fact3 -> int1: ぽねぽなLv.68事件が生じる; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact2 -> hypothesis;
ぷなぷいLv.47事件が起こる
$facts$ = fact1: 「投げ付けることは発生しない」ということは当て付けがましいということは起こらないということを発生させる fact2: 当て付けがましいということが起きるということは「ぽねぽなLv.68事件が起きる」ということがきっかけだ fact3: ぽねぽなLv.68事件が生じる ; $hypothesis$ = 当て付けがましいということは起こらない ; $proof$ = 
fact3 -> int1: ぽねぽなLv.68事件が生じる; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact2 -> hypothesis; __DISPROVED__