このぴえぴちゃLv.99は慈悲深いかもしくはエロい
fact1: もしもあのぷえぷねLv.32が分解され難いとすればこのぴえぴちゃLv.99は慈悲深い fact2: あのぷえぷねLv.32は分解され難いかもしくはエロいか両方ともだ fact3: あのぷえぷねLv.32は分解され難い fact4: もし「このぴえぴちゃLv.99は分解され難い」ということは正しいとするとあのぷえぷねLv.32はエロい
fact1 & fact3 -> int1: このぴえぴちゃLv.99は慈悲深い; int1 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; int1 -> hypothesis;
$facts$ = fact1: もしもあのぷえぷねLv.32が分解され難いとすればこのぴえぴちゃLv.99は慈悲深い fact2: あのぷえぷねLv.32は分解され難いかもしくはエロいか両方ともだ fact3: あのぷえぷねLv.32は分解され難い fact4: もし「このぴえぴちゃLv.99は分解され難い」ということは正しいとするとあのぷえぷねLv.32はエロい ; $hypothesis$ = このぴえぴちゃLv.99は慈悲深いかもしくはエロい ; $proof$ = 
fact1 & fact3 -> int1: このぴえぴちゃLv.99は慈悲深い; int1 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}{b}; int1 -> hypothesis; __PROVED__