このもゆもねLv.17は仰々しい
fact1: もしこのぽにゅぽのLv.92が品種改良しないならこのもゆもねLv.17は仰々しいしそれに若者らしい fact2: このぽにゅぽのLv.92は若者らしくないとしたら「そのぴちょぴのLv.55は冷め易くないし入手し易くない」ということは誤っている fact3: 「そのぴちょぴのLv.55は冷め易いがしかし入手し易くない」ということは誤りである fact4: 仮にあのみいみにLv.5が品種改良しないとするとこのもにゃもえLv.15は仄白いがしかし焦れったくない fact5: このぽにゅぽのLv.92は若者らしくない fact6: もし仮に「「冷め易いということはなくて加えて入手し易くない」ということは誤りな」モンスターがいればあのみいみにLv.5は品種改良しない fact7: もしもこのもにゃもえLv.15が仄白いが焦れったくないとしたらこのもゆもねLv.17は仰々しくない
fact2 & fact5 -> int1: 「そのぴちょぴのLv.55は冷め易くなくて更に入手し易くない」ということは間違っている; int1 -> int2: 「「冷め易くないしまた入手し易くない」ということは間違っている」モンスターはいる; int2 & fact6 -> int3: あのみいみにLv.5は品種改良しない; int3 & fact4 -> int4: このもにゃもえLv.15は仄白いがそれは焦れったいということはない; int4 & fact7 -> hypothesis;
fact2 & fact5 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): ¬(¬{AA}x & ¬{AB}x); int2 & fact6 -> int3: ¬{B}{c}; int3 & fact4 -> int4: ({D}{d} & ¬{C}{d}); int4 & fact7 -> hypothesis;
このもゆもねLv.17は仰々しい
$facts$ = fact1: もしこのぽにゅぽのLv.92が品種改良しないならこのもゆもねLv.17は仰々しいしそれに若者らしい fact2: このぽにゅぽのLv.92は若者らしくないとしたら「そのぴちょぴのLv.55は冷め易くないし入手し易くない」ということは誤っている fact3: 「そのぴちょぴのLv.55は冷め易いがしかし入手し易くない」ということは誤りである fact4: 仮にあのみいみにLv.5が品種改良しないとするとこのもにゃもえLv.15は仄白いがしかし焦れったくない fact5: このぽにゅぽのLv.92は若者らしくない fact6: もし仮に「「冷め易いということはなくて加えて入手し易くない」ということは誤りな」モンスターがいればあのみいみにLv.5は品種改良しない fact7: もしもこのもにゃもえLv.15が仄白いが焦れったくないとしたらこのもゆもねLv.17は仰々しくない ; $hypothesis$ = このもゆもねLv.17は仰々しい ; $proof$ = 
fact2 & fact5 -> int1: 「そのぴちょぴのLv.55は冷め易くなくて更に入手し易くない」ということは間違っている; int1 -> int2: 「「冷め易くないしまた入手し易くない」ということは間違っている」モンスターはいる; int2 & fact6 -> int3: あのみいみにLv.5は品種改良しない; int3 & fact4 -> int4: このもにゃもえLv.15は仄白いがそれは焦れったいということはない; int4 & fact7 -> hypothesis; __DISPROVED__
fact2 & fact5 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): ¬(¬{AA}x & ¬{AB}x); int2 & fact6 -> int3: ¬{B}{c}; int3 & fact4 -> int4: ({D}{d} & ¬{C}{d}); int4 & fact7 -> hypothesis; __DISPROVED__