そのぽわぽにLv.49は論及しない
fact1: 仮にそのぽわぽにLv.49が止めしないけれどそれが由々しなら論及しない fact2: 「そのぴにゃぴねLv.62は新し」ということは真実である fact3: もし仮にそのぽわぽにLv.49が由々しないとするとそのぴにゃぴねLv.62は新しということはない fact4: あのぽちゃぽよLv.7は新し fact5: そのぽわぽにLv.49は由々し fact6: もし仮にそのぴにゃぴねLv.62は論及するなら「そのぽわぽにLv.49は論及する」ということは本当である fact7: 仮に「そのぽわぽにLv.49は止めするということはないけれど由々し」ということは成り立たないならばそのぴにゃぴねLv.62は新しない fact8: もし仮にそのぴにゃぴねLv.62が論及しないならそのぽわぽにLv.49は疑わしないが混同し易い
void -> assump1: 以下のように仮定する。「そのぽわぽにLv.49は止めしないが由々し」ということは成り立たない; fact7 & assump1 -> int1: そのぴにゃぴねLv.62は新しということはない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぽわぽにLv.49は止めするということはないけど由々し; int3 & fact1 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact7 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} & {AB}{a}); int3 & fact1 -> hypothesis;
そのぽわぽにLv.49は論及する
$facts$ = fact1: 仮にそのぽわぽにLv.49が止めしないけれどそれが由々しなら論及しない fact2: 「そのぴにゃぴねLv.62は新し」ということは真実である fact3: もし仮にそのぽわぽにLv.49が由々しないとするとそのぴにゃぴねLv.62は新しということはない fact4: あのぽちゃぽよLv.7は新し fact5: そのぽわぽにLv.49は由々し fact6: もし仮にそのぴにゃぴねLv.62は論及するなら「そのぽわぽにLv.49は論及する」ということは本当である fact7: 仮に「そのぽわぽにLv.49は止めするということはないけれど由々し」ということは成り立たないならばそのぴにゃぴねLv.62は新しない fact8: もし仮にそのぴにゃぴねLv.62が論及しないならそのぽわぽにLv.49は疑わしないが混同し易い ; $hypothesis$ = そのぽわぽにLv.49は論及しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのぽわぽにLv.49は止めしないが由々し」ということは成り立たない; fact7 & assump1 -> int1: そのぴにゃぴねLv.62は新しということはない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのぽわぽにLv.49は止めするということはないけど由々し; int3 & fact1 -> hypothesis; __PROVED__
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact7 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: (¬{AA}{a} & {AB}{a}); int3 & fact1 -> hypothesis; __PROVED__