このぽねぽにLv.0は初々しいということはない
fact1: あのみにゃみやLv.19がすごーくないとしたら連想し易くない fact2: このみにょみねLv.5が想像し易いということはないかまたはそれがあどけないとするとあのみにゃみやLv.19はすごーくない fact3: もし仮にあのみにゃみやLv.19が連想し易くないとするとこのぽねぽにLv.0は初々しい fact4: 「このみにょみねLv.5はこっ酷いということはない」ということは事実と異なる fact5: こっ酷いモンスターは想像し易くないかまたはあどけないかあるいは両方だ
fact5 -> int1: このみにょみねLv.5がこっ酷いならそれは想像し易いということはないかあるいはあどけないかもしくは両方である; int1 & fact4 -> int2: このみにょみねLv.5は想像し易いということはないかあどけないかあるいは両方ともである; int2 & fact2 -> int3: あのみにゃみやLv.19はすごーくない; int3 & fact1 -> int4: あのみにゃみやLv.19は連想し易くない; int4 & fact3 -> hypothesis;
fact5 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact2 -> int3: ¬{B}{a}; int3 & fact1 -> int4: ¬{C}{a}; int4 & fact3 -> hypothesis;
$facts$ = fact1: あのみにゃみやLv.19がすごーくないとしたら連想し易くない fact2: このみにょみねLv.5が想像し易いということはないかまたはそれがあどけないとするとあのみにゃみやLv.19はすごーくない fact3: もし仮にあのみにゃみやLv.19が連想し易くないとするとこのぽねぽにLv.0は初々しい fact4: 「このみにょみねLv.5はこっ酷いということはない」ということは事実と異なる fact5: こっ酷いモンスターは想像し易くないかまたはあどけないかあるいは両方だ ; $hypothesis$ = このぽねぽにLv.0は初々しいということはない ; $proof$ = 
fact5 -> int1: このみにょみねLv.5がこっ酷いならそれは想像し易いということはないかあるいはあどけないかもしくは両方である; int1 & fact4 -> int2: このみにょみねLv.5は想像し易いということはないかあどけないかあるいは両方ともである; int2 & fact2 -> int3: あのみにゃみやLv.19はすごーくない; int3 & fact1 -> int4: あのみにゃみやLv.19は連想し易くない; int4 & fact3 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact2 -> int3: ¬{B}{a}; int3 & fact1 -> int4: ¬{C}{a}; int4 & fact3 -> hypothesis; __DISPROVED__