このぴにぴいLv.99は肥大しない
fact1: あのぴゆぴにLv.30が山深いならそのもにゅもよLv.19は活動し難い fact2: そのもにゅもよLv.19が活動し難いとすればこのぴにぴいLv.99は肥大する fact3: あのぴゆぴにLv.30は行われ易い fact4: もしあのぴゆぴにLv.30が行われ易いならばそれは山深い
fact4 & fact3 -> int1: あのぴゆぴにLv.30は山深い; int1 & fact1 -> int2: そのもにゅもよLv.19は活動し難い; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: あのぴゆぴにLv.30が山深いならそのもにゅもよLv.19は活動し難い fact2: そのもにゅもよLv.19が活動し難いとすればこのぴにぴいLv.99は肥大する fact3: あのぴゆぴにLv.30は行われ易い fact4: もしあのぴゆぴにLv.30が行われ易いならばそれは山深い ; $hypothesis$ = このぴにぴいLv.99は肥大しない ; $proof$ = 
fact4 & fact3 -> int1: あのぴゆぴにLv.30は山深い; int1 & fact1 -> int2: そのもにゅもよLv.19は活動し難い; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__