このぽにょぽちゃLv.92は奥深い
fact1: もしもあのまやまねLv.32はひ弱くないならば「「このぽにょぽちゃLv.92は据え置かないけど憎々しい」ということは事実と異ならない」ということは偽である fact2: 仮に何らかのモンスターはひ弱くないとすると「それは憎々しいけれど奥深いということはない」ということは誤りである fact3: もしこのぽにょぽちゃLv.92が据え置かないならこのぽにょぽちゃLv.92は奥深い fact4: もし仮に「そのぷにぷいLv.14は無理無いけれどひ弱くない」ということは嘘であるならばあのまやまねLv.32はひ弱くない fact5: このぽにょぽちゃLv.92は憎々しいということはない fact6: このぽにょぽちゃLv.92は据え置かないしそれは憎々しいということはない fact7: もし仮にそのもやものLv.73が過不足無いということはないならばそのもやものLv.73は合わせ辛いかあるいは甘酸っぱい
fact6 -> int1: このぽにょぽちゃLv.92は据え置くということはない; int1 & fact3 -> hypothesis;
fact6 -> int1: ¬{A}{a}; int1 & fact3 -> hypothesis;
あのもいもいLv.52は据え置かない
fact8 -> int2: 仮にあのもいもいLv.52はひ弱くないとすると「それは憎々しいがしかし奥深くない」ということは成り立たない;
$facts$ = fact1: もしもあのまやまねLv.32はひ弱くないならば「「このぽにょぽちゃLv.92は据え置かないけど憎々しい」ということは事実と異ならない」ということは偽である fact2: 仮に何らかのモンスターはひ弱くないとすると「それは憎々しいけれど奥深いということはない」ということは誤りである fact3: もしこのぽにょぽちゃLv.92が据え置かないならこのぽにょぽちゃLv.92は奥深い fact4: もし仮に「そのぷにぷいLv.14は無理無いけれどひ弱くない」ということは嘘であるならばあのまやまねLv.32はひ弱くない fact5: このぽにょぽちゃLv.92は憎々しいということはない fact6: このぽにょぽちゃLv.92は据え置かないしそれは憎々しいということはない fact7: もし仮にそのもやものLv.73が過不足無いということはないならばそのもやものLv.73は合わせ辛いかあるいは甘酸っぱい ; $hypothesis$ = このぽにょぽちゃLv.92は奥深い ; $proof$ = 
fact6 -> int1: このぽにょぽちゃLv.92は据え置くということはない; int1 & fact3 -> hypothesis; __PROVED__
fact6 -> int1: ¬{A}{a}; int1 & fact3 -> hypothesis; __PROVED__