あのみいみえLv.88は罪深い
fact1: このぴにょぴのLv.21は還付するしかついがらっぽい fact2: このぴにょぴのLv.21は還付する fact3: もしこのぴにょぴのLv.21がいがらっぽくないとすればあのみにみにLv.76はおっかないしまた還付する fact4: 罪深くないかもしくはいがらっぽくないかまたは両方ともなモンスターはいがらっぽくない fact5: このぴにょぴのLv.21は切り難い fact6: もしこのぴにょぴのLv.21がおっかなくて更にいがらっぽいとするとあのみいみえLv.88は罪深いということはない fact7: このぴにょぴのLv.21はおっかない fact8: 「このぴにょぴのLv.21は罪深い」ということは本当だ
fact1 -> int1: このぴにょぴのLv.21はいがらっぽい; int1 & fact7 -> int2: このぴにょぴのLv.21はおっかないしいがらっぽい; int2 & fact6 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{a} & {B}{a}); int2 & fact6 -> hypothesis;
あのみにみにLv.76はおっかない
fact9 -> int3: あのみいみえLv.88が罪深くないかあるいはそれはいがらっぽくないかもしくはどちらもであるとするといがらっぽくない;
$facts$ = fact1: このぴにょぴのLv.21は還付するしかついがらっぽい fact2: このぴにょぴのLv.21は還付する fact3: もしこのぴにょぴのLv.21がいがらっぽくないとすればあのみにみにLv.76はおっかないしまた還付する fact4: 罪深くないかもしくはいがらっぽくないかまたは両方ともなモンスターはいがらっぽくない fact5: このぴにょぴのLv.21は切り難い fact6: もしこのぴにょぴのLv.21がおっかなくて更にいがらっぽいとするとあのみいみえLv.88は罪深いということはない fact7: このぴにょぴのLv.21はおっかない fact8: 「このぴにょぴのLv.21は罪深い」ということは本当だ ; $hypothesis$ = あのみいみえLv.88は罪深い ; $proof$ = 
fact1 -> int1: このぴにょぴのLv.21はいがらっぽい; int1 & fact7 -> int2: このぴにょぴのLv.21はおっかないしいがらっぽい; int2 & fact6 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{a} & {B}{a}); int2 & fact6 -> hypothesis; __DISPROVED__