「仮に「飲み込まない」ということは正しいならば「守り易くないししかももみもみしない」ということは偽である」モンスターはいる
fact1: 「もしも「けちけちしない」ということは正しいならば「醜くないしその上話し辛い」ということは間違いな」モンスターはいる fact2: 仮にあのみにょみにょLv.98は飲み込むとすると「守り易くないしその上それはもみもみしない」ということは正しくない fact3: もし仮に「とあるモンスターは飲み込まない」ということは事実なら「守り易くないしもみもみしない」ということは事実と異なる fact4: あのみにょみにょLv.98は受け辛くないなら「あのみにょみにょLv.98は姦しくないけど乏しい」ということは成り立たない fact5: 仮にあのみにょみにょLv.98は等しいとすると「あのみにょみにょLv.98はもみもみしなくてその上清しない」ということは間違っている fact6: 「「もし良くないとすれば「心置き無くなくてまたややこしい」ということは成り立つということはない」モンスターはいる」ということは本当である
fact3 -> int1: 仮にあのみにょみにょLv.98は飲み込まないなら「それは守り易いということはないしさらにもみもみしない」ということは成り立たない; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もしも「けちけちしない」ということは正しいならば「醜くないしその上話し辛い」ということは間違いな」モンスターはいる fact2: 仮にあのみにょみにょLv.98は飲み込むとすると「守り易くないしその上それはもみもみしない」ということは正しくない fact3: もし仮に「とあるモンスターは飲み込まない」ということは事実なら「守り易くないしもみもみしない」ということは事実と異なる fact4: あのみにょみにょLv.98は受け辛くないなら「あのみにょみにょLv.98は姦しくないけど乏しい」ということは成り立たない fact5: 仮にあのみにょみにょLv.98は等しいとすると「あのみにょみにょLv.98はもみもみしなくてその上清しない」ということは間違っている fact6: 「「もし良くないとすれば「心置き無くなくてまたややこしい」ということは成り立つということはない」モンスターはいる」ということは本当である ; $hypothesis$ = 「仮に「飲み込まない」ということは正しいならば「守り易くないししかももみもみしない」ということは偽である」モンスターはいる ; $proof$ = 
fact3 -> int1: 仮にあのみにょみにょLv.98は飲み込まないなら「それは守り易いということはないしさらにもみもみしない」ということは成り立たない; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__