あのみにゅみにゃLv.42は危ない
fact1: そのぴねぴえLv.63は退色し易くない fact2: このぽやぽにゃLv.15が力強くてかつ退色し易いならあのみにゅみにゃLv.42は危なくない fact3: 「あのみにゅみにゃLv.42は力強い」ということは確かである fact4: 仮にこのぽやぽにゃLv.15が退色し易くてそれが危ないならばあのみにゅみにゃLv.42は力強くない fact5: このぽやぽにゃLv.15は力強い fact6: もしも「このぽやぽにゃLv.15は危なくないかもしくは力強くないかあるいは両方ともだ」ということは成り立たないとしたらそのぷよぷゆLv.97は力強い fact7: このぽやぽにゃLv.15は思い易い fact8: このぽやぽにゃLv.15は退色し易い
fact5 & fact8 -> int1: このぽやぽにゃLv.15は力強くてまた退色し易い; int1 & fact2 -> hypothesis;
fact5 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
そのぷよぷゆLv.97は力強い
$facts$ = fact1: そのぴねぴえLv.63は退色し易くない fact2: このぽやぽにゃLv.15が力強くてかつ退色し易いならあのみにゅみにゃLv.42は危なくない fact3: 「あのみにゅみにゃLv.42は力強い」ということは確かである fact4: 仮にこのぽやぽにゃLv.15が退色し易くてそれが危ないならばあのみにゅみにゃLv.42は力強くない fact5: このぽやぽにゃLv.15は力強い fact6: もしも「このぽやぽにゃLv.15は危なくないかもしくは力強くないかあるいは両方ともだ」ということは成り立たないとしたらそのぷよぷゆLv.97は力強い fact7: このぽやぽにゃLv.15は思い易い fact8: このぽやぽにゃLv.15は退色し易い ; $hypothesis$ = あのみにゅみにゃLv.42は危ない ; $proof$ = 
fact5 & fact8 -> int1: このぽやぽにゃLv.15は力強くてまた退色し易い; int1 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact8 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis; __DISPROVED__