「「気色ばむということはないしさらに代わり映えする」ということは成り立たないとすれば無理無くない」モンスターはいる
fact1: もし仮に「とあるモンスターは気色ばまないが代わり映えする」ということは間違っているとすると無理無くない fact2: 心深くないモンスターは低くない fact3: 「あるモンスターはきったないししかも木目細かい」ということは誤りであるならばそれは心深くない fact4: 仮に「なにがしかのモンスターは容易くないけど無理無い」ということは成り立たないならば手早くない fact5: 「「気色ばむし代わり映えする」ということは偽であるなら無理無くない」モンスターはいる fact6: もし「あのぴくぴわLv.93は代わり映えするし憎い」ということは誤りであるならばそれはか弱くない
fact1 -> int1: 仮に「「このぴねぴちゃLv.30は気色ばまないけれど代わり映えする」ということは間違っている」ということは真実であるとすれば「このぴねぴちゃLv.30は無理無くない」ということは事実である; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
もし「このぴねぴちゃLv.30は容易くないが無理無い」ということは成り立つということはないとするとそれは手早くない
fact7 -> hypothesis;
$facts$ = fact1: もし仮に「とあるモンスターは気色ばまないが代わり映えする」ということは間違っているとすると無理無くない fact2: 心深くないモンスターは低くない fact3: 「あるモンスターはきったないししかも木目細かい」ということは誤りであるならばそれは心深くない fact4: 仮に「なにがしかのモンスターは容易くないけど無理無い」ということは成り立たないならば手早くない fact5: 「「気色ばむし代わり映えする」ということは偽であるなら無理無くない」モンスターはいる fact6: もし「あのぴくぴわLv.93は代わり映えするし憎い」ということは誤りであるならばそれはか弱くない ; $hypothesis$ = 「「気色ばむということはないしさらに代わり映えする」ということは成り立たないとすれば無理無くない」モンスターはいる ; $proof$ = 
fact1 -> int1: 仮に「「このぴねぴちゃLv.30は気色ばまないけれど代わり映えする」ということは間違っている」ということは真実であるとすれば「このぴねぴちゃLv.30は無理無くない」ということは事実である; int1 -> hypothesis; __PROVED__
fact1 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__