ちょろいということが起こる
fact1: ぴのぴやLv.24事件が生じる fact2: ぴのぴゆLv.76事件が発生する fact3: ぴのぴやLv.24事件はちょろいということを誘発する fact4: もし仮に「ぴのぴやLv.24事件が発生する一方で忘れ難いということは起きない」ということは偽なら「ちょろいということは起きない」ということは正しい
fact1 -> int1: ぴのぴやLv.24事件が生じる; int1 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> hypothesis;
ちょろいということは起きない
$facts$ = fact1: ぴのぴやLv.24事件が生じる fact2: ぴのぴゆLv.76事件が発生する fact3: ぴのぴやLv.24事件はちょろいということを誘発する fact4: もし仮に「ぴのぴやLv.24事件が発生する一方で忘れ難いということは起きない」ということは偽なら「ちょろいということは起きない」ということは正しい ; $hypothesis$ = ちょろいということが起こる ; $proof$ = 
fact1 -> int1: ぴのぴやLv.24事件が生じる; int1 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__