「もしも「言い辛くないしその上引き起こさない」ということは誤りならば遣る瀬無くない」モンスターはいる
fact1: 「「何らかのモンスターは言い辛くなくてその上引き起こさない」ということは偽であるならばそれは遣る瀬無くない」ということは成り立つ
fact1 -> int1: もし「あのぷえぷちゅLv.1は言い辛くないしかつ引き起こさない」ということは間違いだとしたらあのぷえぷちゅLv.1は遣る瀬無くない; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「「何らかのモンスターは言い辛くなくてその上引き起こさない」ということは偽であるならばそれは遣る瀬無くない」ということは成り立つ ; $hypothesis$ = 「もしも「言い辛くないしその上引き起こさない」ということは誤りならば遣る瀬無くない」モンスターはいる ; $proof$ = 
fact1 -> int1: もし「あのぷえぷちゅLv.1は言い辛くないしかつ引き起こさない」ということは間違いだとしたらあのぷえぷちゅLv.1は遣る瀬無くない; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__