あのぴちょぴゆLv.18は地下深い
fact1: もしもなにがしかのモンスターが育て易いとすれば悪しい fact2: もし仮にこのぷにゅぷにゃLv.5が踏み締めればこのみちゃみなLv.81は遅い fact3: このぷにゅぷにゃLv.5は根深い fact4: このみちゃみなLv.81は悪しい fact5: 仮にこのぷにゅぷにゃLv.5が根深いし加えてそれが育て易いとすればあのぴちょぴゆLv.18は地下深くない fact6: 「地下深いということはないモンスターは育て易いし根深い」ということは本当である fact7: もしもこのみちゃみなLv.81が悪しいとすればこのぷにゅぷにゃLv.5は育て易い fact8: このぷにゅぷにゃLv.5は踏み締めるかまたはそれは遅いか両方だ fact9: もし仮にこのみちゃみなLv.81が遅い一方で地下深くないならそのぷやぷくLv.11は地下深くない
fact7 & fact4 -> int1: このぷにゅぷにゃLv.5は育て易い; int1 & fact3 -> int2: このぷにゅぷにゃLv.5は根深くて更にそれは育て易い; int2 & fact5 -> hypothesis;
fact7 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ({C}{b} & {B}{b}); int2 & fact5 -> hypothesis;
そのぷやぷくLv.11は悪しい
fact10 -> int3: もしそのぷやぷくLv.11は育て易いならば「そのぷやぷくLv.11は悪しい」ということは成り立つ; fact13 -> int4: もし仮にそのぷやぷくLv.11が地下深くないとしたらそれは育て易いししかもそれは根深い;
$facts$ = fact1: もしもなにがしかのモンスターが育て易いとすれば悪しい fact2: もし仮にこのぷにゅぷにゃLv.5が踏み締めればこのみちゃみなLv.81は遅い fact3: このぷにゅぷにゃLv.5は根深い fact4: このみちゃみなLv.81は悪しい fact5: 仮にこのぷにゅぷにゃLv.5が根深いし加えてそれが育て易いとすればあのぴちょぴゆLv.18は地下深くない fact6: 「地下深いということはないモンスターは育て易いし根深い」ということは本当である fact7: もしもこのみちゃみなLv.81が悪しいとすればこのぷにゅぷにゃLv.5は育て易い fact8: このぷにゅぷにゃLv.5は踏み締めるかまたはそれは遅いか両方だ fact9: もし仮にこのみちゃみなLv.81が遅い一方で地下深くないならそのぷやぷくLv.11は地下深くない ; $hypothesis$ = あのぴちょぴゆLv.18は地下深い ; $proof$ = 
fact7 & fact4 -> int1: このぷにゅぷにゃLv.5は育て易い; int1 & fact3 -> int2: このぷにゅぷにゃLv.5は根深くて更にそれは育て易い; int2 & fact5 -> hypothesis; __DISPROVED__
fact7 & fact4 -> int1: {B}{b}; int1 & fact3 -> int2: ({C}{b} & {B}{b}); int2 & fact5 -> hypothesis; __DISPROVED__