あのぷのぷちゃLv.66はめでたし
fact1: もし仮に「そのまのまにょLv.15は受け入れ易くないけれどそれは崩れ易い」ということは誤りであるとしたらそのまのまにょLv.15は格好良い fact2: 「あのぷのぷちゃLv.66は姦しくないけれどそれは使い易い」ということは偽であるならあのぷのぷちゃLv.66は開き易い fact3: あのぷのぷちゃLv.66は崩れ易いということはない fact4: あのぷのぷちゃLv.66は使い辛い fact5: 「もしあのぷのぷちゃLv.66が開き易いとするとあのぷのぷちゃLv.66はめでたし」ということは真実である fact6: 「あのぷのぷちゃLv.66は崩れ易くない」ということは事実であるとすると「あのぷのぷちゃLv.66は姦しくないけれど使い易い」ということは誤りだ
fact6 & fact3 -> int1: 「あのぷのぷちゃLv.66は姦しくない一方で使い易い」ということは間違いである; int1 & fact2 -> int2: あのぷのぷちゃLv.66は開き易い; int2 & fact5 -> hypothesis;
fact6 & fact3 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact2 -> int2: {B}{a}; int2 & fact5 -> hypothesis;
$facts$ = fact1: もし仮に「そのまのまにょLv.15は受け入れ易くないけれどそれは崩れ易い」ということは誤りであるとしたらそのまのまにょLv.15は格好良い fact2: 「あのぷのぷちゃLv.66は姦しくないけれどそれは使い易い」ということは偽であるならあのぷのぷちゃLv.66は開き易い fact3: あのぷのぷちゃLv.66は崩れ易いということはない fact4: あのぷのぷちゃLv.66は使い辛い fact5: 「もしあのぷのぷちゃLv.66が開き易いとするとあのぷのぷちゃLv.66はめでたし」ということは真実である fact6: 「あのぷのぷちゃLv.66は崩れ易くない」ということは事実であるとすると「あのぷのぷちゃLv.66は姦しくないけれど使い易い」ということは誤りだ ; $hypothesis$ = あのぷのぷちゃLv.66はめでたし ; $proof$ = 
fact6 & fact3 -> int1: 「あのぷのぷちゃLv.66は姦しくない一方で使い易い」ということは間違いである; int1 & fact2 -> int2: あのぷのぷちゃLv.66は開き易い; int2 & fact5 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact2 -> int2: {B}{a}; int2 & fact5 -> hypothesis; __PROVED__