あのぽえぽくLv.76は働き難くない
fact1: あのぷちょぷくLv.70が丸っこいならあのぽえぽくLv.76は働き難い fact2: あのぷちょぷくLv.70は持続する fact3: あのぴねぴやLv.13は疑い深くてかつ成り易い fact4: あのぷちょぷくLv.70は持続するしかつ丸っこい fact5: あのぷちょぷくLv.70はか弱い fact6: あのぽえぽくLv.76は持続する
fact4 -> int1: 「あのぷちょぷくLv.70は丸っこい」ということは確かだ; int1 & fact1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: あのぷちょぷくLv.70が丸っこいならあのぽえぽくLv.76は働き難い fact2: あのぷちょぷくLv.70は持続する fact3: あのぴねぴやLv.13は疑い深くてかつ成り易い fact4: あのぷちょぷくLv.70は持続するしかつ丸っこい fact5: あのぷちょぷくLv.70はか弱い fact6: あのぽえぽくLv.76は持続する ; $hypothesis$ = あのぽえぽくLv.76は働き難くない ; $proof$ = 
fact4 -> int1: 「あのぷちょぷくLv.70は丸っこい」ということは確かだ; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__