このものもやLv.40は移り易いということはない
fact1: そのぽなぽのLv.90は狭い fact2: あらゆるモンスターは投票しない fact3: もしもとあるモンスターが寛がないとすると生き辛くないかもしくは移り易いか両方ともである fact4: もしも「そのもちょもわLv.72は泥臭くないかもしくは生温いかもしくは両方である」ということは成り立たないとするとそのぽなぽのLv.90は生き辛い fact5: 泥臭くないか生温いというモンスターはない fact6: もしもそのぽなぽのLv.90が生き辛いということはないかもしくは移り易いかまたはどちらもであるとすればこのものもやLv.40は移り易くない fact7: もし仮にこのものもやLv.40が疲労し易いならこのものもやLv.40は移り易い fact8: そのぽなぽのLv.90が生き辛いとしたらそのぷのぷゆLv.94は寛ぐ fact9: そのぷのぷゆLv.94が寛げばこのものもやLv.40は疲労し易い
fact5 -> int1: 「そのもちょもわLv.72は泥臭くないかもしくは生温いかもしくはどちらもだ」ということは誤りだ; int1 & fact4 -> int2: そのぽなぽのLv.90は生き辛い; int2 & fact8 -> int3: そのぷのぷゆLv.94は寛ぐ; int3 & fact9 -> int4: このものもやLv.40は疲労し易い; int4 & fact7 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: {A}{a}; int2 & fact8 -> int3: {B}{b}; int3 & fact9 -> int4: {C}{c}; int4 & fact7 -> hypothesis;
このものもやLv.40は移り易いということはない
fact10 -> int5: もし「そのぽなぽのLv.90は寛ぐということはない」ということは本当であるとしたらそのぽなぽのLv.90は生き辛くないかあるいは移り易い;
$facts$ = fact1: そのぽなぽのLv.90は狭い fact2: あらゆるモンスターは投票しない fact3: もしもとあるモンスターが寛がないとすると生き辛くないかもしくは移り易いか両方ともである fact4: もしも「そのもちょもわLv.72は泥臭くないかもしくは生温いかもしくは両方である」ということは成り立たないとするとそのぽなぽのLv.90は生き辛い fact5: 泥臭くないか生温いというモンスターはない fact6: もしもそのぽなぽのLv.90が生き辛いということはないかもしくは移り易いかまたはどちらもであるとすればこのものもやLv.40は移り易くない fact7: もし仮にこのものもやLv.40が疲労し易いならこのものもやLv.40は移り易い fact8: そのぽなぽのLv.90が生き辛いとしたらそのぷのぷゆLv.94は寛ぐ fact9: そのぷのぷゆLv.94が寛げばこのものもやLv.40は疲労し易い ; $hypothesis$ = このものもやLv.40は移り易いということはない ; $proof$ = 
fact5 -> int1: 「そのもちょもわLv.72は泥臭くないかもしくは生温いかもしくはどちらもだ」ということは誤りだ; int1 & fact4 -> int2: そのぽなぽのLv.90は生き辛い; int2 & fact8 -> int3: そのぷのぷゆLv.94は寛ぐ; int3 & fact9 -> int4: このものもやLv.40は疲労し易い; int4 & fact7 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: {A}{a}; int2 & fact8 -> int3: {B}{b}; int3 & fact9 -> int4: {C}{c}; int4 & fact7 -> hypothesis; __DISPROVED__