このぴよぴよLv.17は繁殖し易いということはなくて美味しくない
fact1: あのまのまやLv.55は着せがましい fact2: あのまのまやLv.55は汚い fact3: このぴにょぴわLv.55は美味しい fact4: 仮にそのぷちょぷやLv.49が繁殖し易くないとすればこのぴよぴよLv.17は美味しくない fact5: そのぷちょぷやLv.49が繁殖し易くないとしたらこのぴよぴよLv.17は繁殖し易くなくて加えてそれは美味しくない fact6: 仮に着せがましかないモンスターが危なくないなら汚くない fact7: 仮にあのまのまやLv.55が汚いしそれが着せがましいとすればこのぴちょぴちゃLv.9は繁殖し易くない fact8: もしもこのぴちょぴちゃLv.9が繁殖し易くないとするとそのぷちょぷやLv.49は危ないけれどそれは繁殖し易くない fact9: 仮にとあるモンスターは汚くないならば「それは繁殖し易くないしその上美味しいということはない」ということは誤りである
fact2 & fact1 -> int1: あのまのまやLv.55は汚くて着せがましい; int1 & fact7 -> int2: このぴちょぴちゃLv.9は繁殖し易くない; int2 & fact8 -> int3: そのぷちょぷやLv.49は危ないけれど繁殖し易くない; int3 -> int4: そのぷちょぷやLv.49は繁殖し易いということはない; int4 & fact5 -> hypothesis;
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact8 -> int3: ({D}{c} & ¬{C}{c}); int3 -> int4: ¬{C}{c}; int4 & fact5 -> hypothesis;
「このぴよぴよLv.17は繁殖し易くないし美味しくない」ということは誤っている
fact10 -> int5: もしこのぴよぴよLv.17は汚くないならば「「このぴよぴよLv.17は繁殖し易くなくてまた美味しくない」ということは本当だ」ということは事実と異なる; fact11 -> int6: もし仮にこのぴよぴよLv.17が着せがましいということはなくて危なくないとすればそれは汚くない;
$facts$ = fact1: あのまのまやLv.55は着せがましい fact2: あのまのまやLv.55は汚い fact3: このぴにょぴわLv.55は美味しい fact4: 仮にそのぷちょぷやLv.49が繁殖し易くないとすればこのぴよぴよLv.17は美味しくない fact5: そのぷちょぷやLv.49が繁殖し易くないとしたらこのぴよぴよLv.17は繁殖し易くなくて加えてそれは美味しくない fact6: 仮に着せがましかないモンスターが危なくないなら汚くない fact7: 仮にあのまのまやLv.55が汚いしそれが着せがましいとすればこのぴちょぴちゃLv.9は繁殖し易くない fact8: もしもこのぴちょぴちゃLv.9が繁殖し易くないとするとそのぷちょぷやLv.49は危ないけれどそれは繁殖し易くない fact9: 仮にとあるモンスターは汚くないならば「それは繁殖し易くないしその上美味しいということはない」ということは誤りである ; $hypothesis$ = このぴよぴよLv.17は繁殖し易いということはなくて美味しくない ; $proof$ = 
fact2 & fact1 -> int1: あのまのまやLv.55は汚くて着せがましい; int1 & fact7 -> int2: このぴちょぴちゃLv.9は繁殖し易くない; int2 & fact8 -> int3: そのぷちょぷやLv.49は危ないけれど繁殖し易くない; int3 -> int4: そのぷちょぷやLv.49は繁殖し易いということはない; int4 & fact5 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{b}; int2 & fact8 -> int3: ({D}{c} & ¬{C}{c}); int3 -> int4: ¬{C}{c}; int4 & fact5 -> hypothesis; __PROVED__