「「湿気易くないしそれに興味深くない」モンスターはいる」ということは確かでない
fact1: 「切り易いモンスターは薄くないか思しないかどちらもである」ということは確かである fact2: 「このもにょもにLv.8は薄くない」ということは確かである fact3: もし仮にそのまにゃまくLv.10が薄くないとすればあのまにゅまいLv.67は掻き易いということはないしそれはブラバスらしくない fact4: もし仮にこのぽのぽやLv.83が発すればそのぷちゃぷちゅLv.40は切り易い fact5: このもよもちょLv.73は湿気易くない fact6: 薄いということはないモンスターは湿気易くなくて興味深くない
fact6 -> int1: 仮にこのもにょもにLv.8が薄いということはないなら湿気易くなくておまけに興味深いということはない; int1 & fact2 -> int2: このもにょもにLv.8は湿気易くないししかも興味深くない; int2 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis;
掻き易くないし更にブラバスらしいということはないモンスターはいる
fact9 -> int3: 仮にそのぷちゃぷちゅLv.40が切り易いとすればそのぷちゃぷちゅLv.40は薄いということはないかまたは思しないかまたはどちらもである;
$facts$ = fact1: 「切り易いモンスターは薄くないか思しないかどちらもである」ということは確かである fact2: 「このもにょもにLv.8は薄くない」ということは確かである fact3: もし仮にそのまにゃまくLv.10が薄くないとすればあのまにゅまいLv.67は掻き易いということはないしそれはブラバスらしくない fact4: もし仮にこのぽのぽやLv.83が発すればそのぷちゃぷちゅLv.40は切り易い fact5: このもよもちょLv.73は湿気易くない fact6: 薄いということはないモンスターは湿気易くなくて興味深くない ; $hypothesis$ = 「「湿気易くないしそれに興味深くない」モンスターはいる」ということは確かでない ; $proof$ = 
fact6 -> int1: 仮にこのもにょもにLv.8が薄いということはないなら湿気易くなくておまけに興味深いということはない; int1 & fact2 -> int2: このもにょもにLv.8は湿気易くないししかも興味深くない; int2 -> hypothesis; __DISPROVED__
fact6 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis; __DISPROVED__