このぷちゅぷにゃLv.88は遠ざけない
fact1: このぽくぽにLv.5は乗り難くてさらに働き易い fact2: もしもそのみやみにLv.15が安っぽいならこのぷちゅぷにゃLv.88は遠ざける fact3: もしもこのぽくぽにLv.5が働き易いならそのみやみにLv.15は安っぽい
fact1 -> int1: このぽくぽにLv.5は働き易い; int1 & fact3 -> int2: そのみやみにLv.15は安っぽい; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぽくぽにLv.5は乗り難くてさらに働き易い fact2: もしもそのみやみにLv.15が安っぽいならこのぷちゅぷにゃLv.88は遠ざける fact3: もしもこのぽくぽにLv.5が働き易いならそのみやみにLv.15は安っぽい ; $hypothesis$ = このぷちゅぷにゃLv.88は遠ざけない ; $proof$ = 
fact1 -> int1: このぽくぽにLv.5は働き易い; int1 & fact3 -> int2: そのみやみにLv.15は安っぽい; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__