「もし渋いなら「忠実忠実しいかあるいは形成し易くないかもしくはどちらもだ」ということは正しくない」モンスターはいる
fact1: そのみちょみにゃLv.3は申候うとすると「それは過不足無い」ということは事実だ fact2: 「仮に答え難いとしたら怒り捲る」モンスターはいる fact3: 「もし馬鹿らしいとすると「実行し易いかまたは丸いかあるいは両方ともである」ということは成り立たない」モンスターはいる fact4: 何らかのモンスターは渋いなら「忠実忠実しいかまたは形成し易くないかもしくはどちらもだ」ということは間違いだ
fact4 -> int1: もしそのみちょみにゃLv.3は渋いならば「そのみちょみにゃLv.3は忠実忠実しいかもしくはそれは形成し易くないかあるいはどちらもだ」ということは間違いだ; int1 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: そのみちょみにゃLv.3は申候うとすると「それは過不足無い」ということは事実だ fact2: 「仮に答え難いとしたら怒り捲る」モンスターはいる fact3: 「もし馬鹿らしいとすると「実行し易いかまたは丸いかあるいは両方ともである」ということは成り立たない」モンスターはいる fact4: 何らかのモンスターは渋いなら「忠実忠実しいかまたは形成し易くないかもしくはどちらもだ」ということは間違いだ ; $hypothesis$ = 「もし渋いなら「忠実忠実しいかあるいは形成し易くないかもしくはどちらもだ」ということは正しくない」モンスターはいる ; $proof$ = 
fact4 -> int1: もしそのみちょみにゃLv.3は渋いならば「そのみちょみにゃLv.3は忠実忠実しいかもしくはそれは形成し易くないかあるいはどちらもだ」ということは間違いだ; int1 -> hypothesis; __PROVED__
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); int1 -> hypothesis; __PROVED__