「「もしも「青白くて左右され易い」ということは成り立たないなら痒くない」モンスターはいる」ということは間違いである
fact1: もし仮に「なんらかのモンスターが青白いしその上それは左右され易い」ということは成り立たないならば痒くない fact2: 「とあるモンスターは黒っぽいしそれに避け難い」ということは成り立つということはないならばそれは忘れ難い
fact1 -> int1: 仮に「そのぽくぽいLv.8は青白いしおまけに左右され易い」ということは間違いであるならそのぽくぽいLv.8は痒くない; int1 -> hypothesis;
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし仮に「なんらかのモンスターが青白いしその上それは左右され易い」ということは成り立たないならば痒くない fact2: 「とあるモンスターは黒っぽいしそれに避け難い」ということは成り立つということはないならばそれは忘れ難い ; $hypothesis$ = 「「もしも「青白くて左右され易い」ということは成り立たないなら痒くない」モンスターはいる」ということは間違いである ; $proof$ = 
fact1 -> int1: 仮に「そのぽくぽいLv.8は青白いしおまけに左右され易い」ということは間違いであるならそのぽくぽいLv.8は痒くない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__