あのぽくぽいLv.20は愛せるということはない
fact1: このぽちょぽえLv.66は算定し難いしかつ過ごし易い fact2: もしもこのぽちょぽえLv.66が運転し易いとするとあのぽくぽいLv.20は愛せる fact3: もしこのぽちょぽえLv.66が算定し難いとするとこのぽちょぽえLv.66は運転し易い
fact1 -> int1: このぽちょぽえLv.66は算定し難い; int1 & fact3 -> int2: このぽちょぽえLv.66は運転し易い; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぽちょぽえLv.66は算定し難いしかつ過ごし易い fact2: もしもこのぽちょぽえLv.66が運転し易いとするとあのぽくぽいLv.20は愛せる fact3: もしこのぽちょぽえLv.66が算定し難いとするとこのぽちょぽえLv.66は運転し易い ; $hypothesis$ = あのぽくぽいLv.20は愛せるということはない ; $proof$ = 
fact1 -> int1: このぽちょぽえLv.66は算定し難い; int1 & fact3 -> int2: このぽちょぽえLv.66は運転し易い; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__