このぽちゅぽえLv.21は腹立たしくない
fact1: このぽちゅぽえLv.21は酸っぱい fact2: あのぷなぷやLv.97はスポーツマンらしい fact3: このぽちゅぽえLv.21は旨くて酸っぱいとするとそれは美しない fact4: 腹立たしくないモンスターで更に御聞き為さらないモンスターは位置付かない fact5: もしこのぽちゅぽえLv.21が測り難いということはないし美しないとすればこのぽちゅぽえLv.21は腹立たしくない fact6: もしあのぷなぷやLv.97がスポーツマンらしいとしたらこのぽちゅぽえLv.21は旨い fact7: このぽちゅぽえLv.21は測り難くない
fact6 & fact2 -> int1: 「このぽちゅぽえLv.21は旨い」ということは確かだ; int1 & fact1 -> int2: このぽちゅぽえLv.21は旨くて酸っぱい; int2 & fact3 -> int3: このぽちゅぽえLv.21は美しない; int3 & fact7 -> int4: このぽちゅぽえLv.21は測り難くなくてそれは美しない; int4 & fact5 -> hypothesis;
fact6 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> int3: ¬{D}{b}; int3 & fact7 -> int4: (¬{E}{b} & ¬{D}{b}); int4 & fact5 -> hypothesis;
そのぷゆぷえLv.63は腹立たしいということはないしおまけに御聞き為さらないならば位置付かない
fact8 -> hypothesis;
$facts$ = fact1: このぽちゅぽえLv.21は酸っぱい fact2: あのぷなぷやLv.97はスポーツマンらしい fact3: このぽちゅぽえLv.21は旨くて酸っぱいとするとそれは美しない fact4: 腹立たしくないモンスターで更に御聞き為さらないモンスターは位置付かない fact5: もしこのぽちゅぽえLv.21が測り難いということはないし美しないとすればこのぽちゅぽえLv.21は腹立たしくない fact6: もしあのぷなぷやLv.97がスポーツマンらしいとしたらこのぽちゅぽえLv.21は旨い fact7: このぽちゅぽえLv.21は測り難くない ; $hypothesis$ = このぽちゅぽえLv.21は腹立たしくない ; $proof$ = 
fact6 & fact2 -> int1: 「このぽちゅぽえLv.21は旨い」ということは確かだ; int1 & fact1 -> int2: このぽちゅぽえLv.21は旨くて酸っぱい; int2 & fact3 -> int3: このぽちゅぽえLv.21は美しない; int3 & fact7 -> int4: このぽちゅぽえLv.21は測り難くなくてそれは美しない; int4 & fact5 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b}); int2 & fact3 -> int3: ¬{D}{b}; int3 & fact7 -> int4: (¬{E}{b} & ¬{D}{b}); int4 & fact5 -> hypothesis; __PROVED__