そのぴいぴにゃLv.50は却下しない
fact1: あのぴいぴにLv.97は嫉妬深いかもしくはそれは女っぽいかあるいは両方ともだ fact2: 仮にそのぴいぴにゃLv.50が嫉妬深いならそれは却下する fact3: もしあのぴいぴにLv.97が口汚いならそのぴいぴにゃLv.50は嫉妬深い fact4: もし「なにがしかのモンスターは嫉妬深くない」ということは確かだとすれば「それはしこり立たないしかつそれは居辛くない」ということは嘘である fact5: 仮にこのぴにゃぴやLv.15はしこり立つしその上嫉妬深いとしたら「あのぴゆぴなLv.19はしこり立たない」ということは確かである fact6: あのぴいぴにLv.97は口汚いしおまけにしこり立つ fact7: もしあのぴゆぴなLv.19はしこり立つということはないとすれば「あのぴいぴにLv.97は却下するし口汚い」ということは成り立たない fact8: もしも「なんらかのモンスターはしこり立たないしさらに居辛くない」ということは間違いならば居辛い
fact6 -> int1: あのぴいぴにLv.97は口汚い; int1 & fact3 -> int2: そのぴいぴにゃLv.50は嫉妬深い; int2 & fact2 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
そのぴいぴにゃLv.50は却下しない
$facts$ = fact1: あのぴいぴにLv.97は嫉妬深いかもしくはそれは女っぽいかあるいは両方ともだ fact2: 仮にそのぴいぴにゃLv.50が嫉妬深いならそれは却下する fact3: もしあのぴいぴにLv.97が口汚いならそのぴいぴにゃLv.50は嫉妬深い fact4: もし「なにがしかのモンスターは嫉妬深くない」ということは確かだとすれば「それはしこり立たないしかつそれは居辛くない」ということは嘘である fact5: 仮にこのぴにゃぴやLv.15はしこり立つしその上嫉妬深いとしたら「あのぴゆぴなLv.19はしこり立たない」ということは確かである fact6: あのぴいぴにLv.97は口汚いしおまけにしこり立つ fact7: もしあのぴゆぴなLv.19はしこり立つということはないとすれば「あのぴいぴにLv.97は却下するし口汚い」ということは成り立たない fact8: もしも「なんらかのモンスターはしこり立たないしさらに居辛くない」ということは間違いならば居辛い ; $hypothesis$ = そのぴいぴにゃLv.50は却下しない ; $proof$ = 
fact6 -> int1: あのぴいぴにLv.97は口汚い; int1 & fact3 -> int2: そのぴいぴにゃLv.50は嫉妬深い; int2 & fact2 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__