そのぽいぽよLv.45は思しい
fact1: 「「そのぽいぽよLv.45は運悪いということはない一方で取り組み易い」ということは誤りでない」ということは偽である fact2: 思しくないモンスターでさらに事欠かないモンスターは気恥ずかしくない fact3: 仮に「なにがしかのモンスターは運悪いということはない一方で取り組み易い」ということは誤りならば「思しいということはない」ということは確かである fact4: 成り易いモンスターは思しくないし事欠かない
fact3 -> int1: 「「そのぽいぽよLv.45は運悪くないがそれは取り組み易い」ということは成り立つ」ということは間違っているとすればそれは思しくない; int1 & fact1 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact1 -> hypothesis;
「あのぴねぴちゅLv.40は弾き易くないがしかし女々しい」ということは事実と異なる
fact6 -> int2: あのみよみわLv.32が思しいということはないしそれに事欠くということはないとするとあのみよみわLv.32は気恥ずかしくない; fact5 -> int3: もしあのみよみわLv.32が成り易いとしたらあのみよみわLv.32は思しくないし事欠かない;
$facts$ = fact1: 「「そのぽいぽよLv.45は運悪いということはない一方で取り組み易い」ということは誤りでない」ということは偽である fact2: 思しくないモンスターでさらに事欠かないモンスターは気恥ずかしくない fact3: 仮に「なにがしかのモンスターは運悪いということはない一方で取り組み易い」ということは誤りならば「思しいということはない」ということは確かである fact4: 成り易いモンスターは思しくないし事欠かない ; $hypothesis$ = そのぽいぽよLv.45は思しい ; $proof$ = 
fact3 -> int1: 「「そのぽいぽよLv.45は運悪くないがそれは取り組み易い」ということは成り立つ」ということは間違っているとすればそれは思しくない; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact1 -> hypothesis; __DISPROVED__