そのもなもちゃLv.80は予測し難くて加えて擽ったい
fact1: そのもなもちゃLv.80が真ん丸いということはないならあのぷにょぷちゃLv.84は擽ったくてそれは予測し難い fact2: そのもなもちゃLv.80は予測し難い fact3: もしあのぴなぴくLv.79が教うなら奥深くなくて真ん丸くない fact4: もし仮になんらかのモンスターは真ん丸くないなら「予測し難いしまた擽ったい」ということは事実と異なる fact5: そのもなもちゃLv.80は擽ったい fact6: あのぴなぴくLv.79が継続し難いならばあのぴなぴくLv.79は教う fact7: このぽのぽちょLv.83は擽ったい
fact2 -> int1: そのもなもちゃLv.80は予測し難い; int1 & fact5 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
「そのもなもちゃLv.80は予測し難くて擽ったい」ということは事実と異なる
fact8 -> int2: もし仮にあのぴなぴくLv.79は真ん丸くないとしたら「それは予測し難くてかつ擽ったい」ということは真実でない;
$facts$ = fact1: そのもなもちゃLv.80が真ん丸いということはないならあのぷにょぷちゃLv.84は擽ったくてそれは予測し難い fact2: そのもなもちゃLv.80は予測し難い fact3: もしあのぴなぴくLv.79が教うなら奥深くなくて真ん丸くない fact4: もし仮になんらかのモンスターは真ん丸くないなら「予測し難いしまた擽ったい」ということは事実と異なる fact5: そのもなもちゃLv.80は擽ったい fact6: あのぴなぴくLv.79が継続し難いならばあのぴなぴくLv.79は教う fact7: このぽのぽちょLv.83は擽ったい ; $hypothesis$ = そのもなもちゃLv.80は予測し難くて加えて擽ったい ; $proof$ = 
fact2 -> int1: そのもなもちゃLv.80は予測し難い; int1 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __PROVED__