あのぽのぽねLv.30は湧き上がらない
fact1: このみにゃみよLv.18は人懐っこい fact2: 仮にあのぽのぽねLv.30が迷い難いとすると湧き上がる fact3: もし仮にこのみにゃみよLv.18が人懐っこいならばあのぽのぽねLv.30は理屈っぽい fact4: 仮にあのぽのぽねLv.30が理屈っぽいとすればあのぽのぽねLv.30は迷い難い
fact3 & fact1 -> int1: あのぽのぽねLv.30は理屈っぽい; int1 & fact4 -> int2: あのぽのぽねLv.30は迷い難い; int2 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このみにゃみよLv.18は人懐っこい fact2: 仮にあのぽのぽねLv.30が迷い難いとすると湧き上がる fact3: もし仮にこのみにゃみよLv.18が人懐っこいならばあのぽのぽねLv.30は理屈っぽい fact4: 仮にあのぽのぽねLv.30が理屈っぽいとすればあのぽのぽねLv.30は迷い難い ; $hypothesis$ = あのぽのぽねLv.30は湧き上がらない ; $proof$ = 
fact3 & fact1 -> int1: あのぽのぽねLv.30は理屈っぽい; int1 & fact4 -> int2: あのぽのぽねLv.30は迷い難い; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__