そのまえまねLv.7は新装しない
fact1: もし仮に「「このぴゆぴちょLv.32は厳くないが蒼みがかる」ということは確かである」ということは間違いであるならば「そのぷゆぷえLv.42は忌ま忌ましい」ということは事実である fact2: 仮にこのぴゆぴちょLv.32が青白いならあのみちゅみにLv.57は厳い fact3: このぴゆぴちょLv.32はすっごいということはない fact4: そのまえまねLv.7は忌ま忌ましい fact5: もしそのまえまねLv.7が青白いならばそれは新装する fact6: 仮にそのぷゆぷえLv.42は忌ま忌ましいとしたら「そのまえまねLv.7は青白い」ということは本当である fact7: もし仮に「このぴゆぴちょLv.32はすっごくない」ということは事実と異ならないとすると「「このぴゆぴちょLv.32は厳くないけど蒼みがかる」ということは成り立つ」ということは偽である
fact3 & fact7 -> int1: 「このぴゆぴちょLv.32は厳くない一方で蒼みがかる」ということは誤りだ; fact1 & int1 -> int2: そのぷゆぷえLv.42は忌ま忌ましい; int2 & fact6 -> int3: そのまえまねLv.7は青白い; int3 & fact5 -> hypothesis;
fact3 & fact7 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact1 & int1 -> int2: {B}{b}; int2 & fact6 -> int3: {A}{c}; int3 & fact5 -> hypothesis;
「あのみちゅみにLv.57は厳い」ということは正しい
$facts$ = fact1: もし仮に「「このぴゆぴちょLv.32は厳くないが蒼みがかる」ということは確かである」ということは間違いであるならば「そのぷゆぷえLv.42は忌ま忌ましい」ということは事実である fact2: 仮にこのぴゆぴちょLv.32が青白いならあのみちゅみにLv.57は厳い fact3: このぴゆぴちょLv.32はすっごいということはない fact4: そのまえまねLv.7は忌ま忌ましい fact5: もしそのまえまねLv.7が青白いならばそれは新装する fact6: 仮にそのぷゆぷえLv.42は忌ま忌ましいとしたら「そのまえまねLv.7は青白い」ということは本当である fact7: もし仮に「このぴゆぴちょLv.32はすっごくない」ということは事実と異ならないとすると「「このぴゆぴちょLv.32は厳くないけど蒼みがかる」ということは成り立つ」ということは偽である ; $hypothesis$ = そのまえまねLv.7は新装しない ; $proof$ = 
fact3 & fact7 -> int1: 「このぴゆぴちょLv.32は厳くない一方で蒼みがかる」ということは誤りだ; fact1 & int1 -> int2: そのぷゆぷえLv.42は忌ま忌ましい; int2 & fact6 -> int3: そのまえまねLv.7は青白い; int3 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact7 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact1 & int1 -> int2: {B}{b}; int2 & fact6 -> int3: {A}{c}; int3 & fact5 -> hypothesis; __DISPROVED__