重苦しいということが発生する
fact1: 惨いということが起こる fact2: 「取り易いということは起こらないかもしくは帰国することが生じるかもしくは両方ともである」ということは誤りだ fact3: 帰国することは生じない fact4: もし仮に「取り易いということは生じないかまたは帰国することが発生するかあるいは両方ともだ」ということは事実と異なるとしたら重苦しいということが起きる fact5: 基づくことが発生しなくて降り出すことが起こらないならばきちんとすることは発生する fact6: きちんとすることが発生するということは重苦しいということを阻む fact7: もしも重苦しいということは起きないとしたら「口惜しいということは起きないかぴちゅぴねLv.57事件が起きる」ということは偽だ
fact2 -> int1: 「取り易いということは起こらないかもしくは帰国することが生じるかもしくは両方ともである」ということは誤りだ; int1 & fact4 -> hypothesis;
fact2 -> int1: ¬(¬{AA} v {AB}); int1 & fact4 -> hypothesis;
重苦しいということは生じない
$facts$ = fact1: 惨いということが起こる fact2: 「取り易いということは起こらないかもしくは帰国することが生じるかもしくは両方ともである」ということは誤りだ fact3: 帰国することは生じない fact4: もし仮に「取り易いということは生じないかまたは帰国することが発生するかあるいは両方ともだ」ということは事実と異なるとしたら重苦しいということが起きる fact5: 基づくことが発生しなくて降り出すことが起こらないならばきちんとすることは発生する fact6: きちんとすることが発生するということは重苦しいということを阻む fact7: もしも重苦しいということは起きないとしたら「口惜しいということは起きないかぴちゅぴねLv.57事件が起きる」ということは偽だ ; $hypothesis$ = 重苦しいということが発生する ; $proof$ = 
fact2 -> int1: 「取り易いということは起こらないかもしくは帰国することが生じるかもしくは両方ともである」ということは誤りだ; int1 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: ¬(¬{AA} v {AB}); int1 & fact4 -> hypothesis; __PROVED__