ぷのぷよLv.10事件が発生する
fact1: 「止む無いということは発生しないけれど薄っぺらいということが発生する」ということは嘘だ
fact1 -> int1: 「止む無いということは発生しないけれど薄っぺらいということが発生する」ということは嘘だ;
fact1 -> int1: ¬(¬{AA} & {AB});
$facts$ = fact1: 「止む無いということは発生しないけれど薄っぺらいということが発生する」ということは嘘だ ; $hypothesis$ = ぷのぷよLv.10事件が発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__