このぽねぽよLv.23は接近し易くない
fact1: そのもにゅもちゃLv.27は接近し易い fact2: 仮にこのぽねぽよLv.23が御悪いとすると引け成る fact3: このぽねぽよLv.23は付き易い fact4: 仮にこのぽねぽよLv.23が上げ易いとすると御悪い fact5: このぽねぽよLv.23は上げ易くて付き易い fact6: 「このぽねぽよLv.23が引け成るとすればこのぽねぽよLv.23は接近し易い」ということは確かである fact7: もしもあるモンスターが登山家らしいとしたら嘆かわしい
fact5 -> int1: このぽねぽよLv.23は上げ易い; int1 & fact4 -> int2: 「このぽねぽよLv.23は御悪い」ということは誤っていない; int2 & fact2 -> int3: このぽねぽよLv.23は引け成る; int3 & fact6 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{a}; int3 & fact6 -> hypothesis;
あのまちゃまやLv.44が登山家らしいならば嘆かわしい
fact8 -> hypothesis;
$facts$ = fact1: そのもにゅもちゃLv.27は接近し易い fact2: 仮にこのぽねぽよLv.23が御悪いとすると引け成る fact3: このぽねぽよLv.23は付き易い fact4: 仮にこのぽねぽよLv.23が上げ易いとすると御悪い fact5: このぽねぽよLv.23は上げ易くて付き易い fact6: 「このぽねぽよLv.23が引け成るとすればこのぽねぽよLv.23は接近し易い」ということは確かである fact7: もしもあるモンスターが登山家らしいとしたら嘆かわしい ; $hypothesis$ = このぽねぽよLv.23は接近し易くない ; $proof$ = 
fact5 -> int1: このぽねぽよLv.23は上げ易い; int1 & fact4 -> int2: 「このぽねぽよLv.23は御悪い」ということは誤っていない; int2 & fact2 -> int3: このぽねぽよLv.23は引け成る; int3 & fact6 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{a}; int3 & fact6 -> hypothesis; __DISPROVED__