そのぴにぴよLv.40は処方しない
fact1: そのぴにぴよLv.40が信じ易くないとするとそのぴにぴよLv.40は追い詰めるしそれは早い fact2: あのもいもちゅLv.3は憎たらしい fact3: あのもいもちゅLv.3は早くない fact4: もしあのもいもちゅLv.3が追い詰めるしそれが信じ易いとすればそのぴにぴよLv.40は処方しない fact5: そのぴにょぴちゃLv.93は追い詰める fact6: あのもいもちゅLv.3は信じ易い fact7: 早いということはないモンスターは追い詰めるしさらに早し
fact7 -> int1: もし「あのもいもちゅLv.3は早くない」ということは本当だとしたらあのもいもちゅLv.3は追い詰めるし加えて早し; int1 & fact3 -> int2: あのもいもちゅLv.3は追い詰めるし加えて早し; int2 -> int3: 「あのもいもちゅLv.3は追い詰めない」ということは間違っている; int3 & fact6 -> int4: あのもいもちゅLv.3は追い詰めるしそれにそれは信じ易い; int4 & fact4 -> hypothesis;
fact7 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AA}{aa}; int3 & fact6 -> int4: ({AA}{aa} & {B}{aa}); int4 & fact4 -> hypothesis;
そのぴにぴよLv.40は追い詰める
$facts$ = fact1: そのぴにぴよLv.40が信じ易くないとするとそのぴにぴよLv.40は追い詰めるしそれは早い fact2: あのもいもちゅLv.3は憎たらしい fact3: あのもいもちゅLv.3は早くない fact4: もしあのもいもちゅLv.3が追い詰めるしそれが信じ易いとすればそのぴにぴよLv.40は処方しない fact5: そのぴにょぴちゃLv.93は追い詰める fact6: あのもいもちゅLv.3は信じ易い fact7: 早いということはないモンスターは追い詰めるしさらに早し ; $hypothesis$ = そのぴにぴよLv.40は処方しない ; $proof$ = 
fact7 -> int1: もし「あのもいもちゅLv.3は早くない」ということは本当だとしたらあのもいもちゅLv.3は追い詰めるし加えて早し; int1 & fact3 -> int2: あのもいもちゅLv.3は追い詰めるし加えて早し; int2 -> int3: 「あのもいもちゅLv.3は追い詰めない」ということは間違っている; int3 & fact6 -> int4: あのもいもちゅLv.3は追い詰めるしそれにそれは信じ易い; int4 & fact4 -> hypothesis; __PROVED__
fact7 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AA}{aa}; int3 & fact6 -> int4: ({AA}{aa} & {B}{aa}); int4 & fact4 -> hypothesis; __PROVED__