このまにゃまにょLv.69は熱い
fact1: もしも「あのもやもなLv.32は増え難い」ということは成り立つとするとこのまにゃまにょLv.69は熱い fact2: もしこのもわもやLv.31が難くないししかも真っ暗くないとしたら「あのもやもなLv.32は増え難い」ということは偽でない fact3: このもわもやLv.31は悲しない fact4: もしあのもやもなLv.32は悲しないとすると「このもわもやLv.31は熱いかあるいは増え難い」ということは成り立たない fact5: 仮に「このもわもやLv.31は熱いかもしくは増え難いかもしくは両方ともである」ということは成り立たないとするとこのまにゃまにょLv.69は熱くない fact6: もしこのもわもやLv.31が悲しないならこのもわもやLv.31は難いということはなくて真っ暗くない
fact6 & fact3 -> int1: このもわもやLv.31は難くなくてその上真っ暗くない; int1 & fact2 -> int2: あのもやもなLv.32は増え難い; int2 & fact1 -> hypothesis;
fact6 & fact3 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{b}; int2 & fact1 -> hypothesis;
このまにゃまにょLv.69は熱いということはない
$facts$ = fact1: もしも「あのもやもなLv.32は増え難い」ということは成り立つとするとこのまにゃまにょLv.69は熱い fact2: もしこのもわもやLv.31が難くないししかも真っ暗くないとしたら「あのもやもなLv.32は増え難い」ということは偽でない fact3: このもわもやLv.31は悲しない fact4: もしあのもやもなLv.32は悲しないとすると「このもわもやLv.31は熱いかあるいは増え難い」ということは成り立たない fact5: 仮に「このもわもやLv.31は熱いかもしくは増え難いかもしくは両方ともである」ということは成り立たないとするとこのまにゃまにょLv.69は熱くない fact6: もしこのもわもやLv.31が悲しないならこのもわもやLv.31は難いということはなくて真っ暗くない ; $hypothesis$ = このまにゃまにょLv.69は熱い ; $proof$ = 
fact6 & fact3 -> int1: このもわもやLv.31は難くなくてその上真っ暗くない; int1 & fact2 -> int2: あのもやもなLv.32は増え難い; int2 & fact1 -> hypothesis; __PROVED__
fact6 & fact3 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{b}; int2 & fact1 -> hypothesis; __PROVED__