あのぽえぽわLv.70は対応し易い
fact1: そのもにゃもにゃLv.30は懐っこいしそれは入れ難い fact2: もし仮にそのもにゃもにゃLv.30が懐っこいとするとあのものもちょLv.19は切り易い fact3: あのものもちょLv.19はターンする fact4: あのものもちょLv.19が切り易いしその上ターンするとするとあのぽえぽわLv.70は対応し易くない
fact1 -> int1: 「そのもにゃもにゃLv.30は懐っこくない」ということは誤りだ; fact2 & int1 -> int2: あのものもちょLv.19は切り易い; int2 & fact3 -> int3: あのものもちょLv.19は切り易いしさらにターンする; int3 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact3 -> int3: ({B}{b} & {C}{b}); int3 & fact4 -> hypothesis;
$facts$ = fact1: そのもにゃもにゃLv.30は懐っこいしそれは入れ難い fact2: もし仮にそのもにゃもにゃLv.30が懐っこいとするとあのものもちょLv.19は切り易い fact3: あのものもちょLv.19はターンする fact4: あのものもちょLv.19が切り易いしその上ターンするとするとあのぽえぽわLv.70は対応し易くない ; $hypothesis$ = あのぽえぽわLv.70は対応し易い ; $proof$ = 
fact1 -> int1: 「そのもにゃもにゃLv.30は懐っこくない」ということは誤りだ; fact2 & int1 -> int2: あのものもちょLv.19は切り易い; int2 & fact3 -> int3: あのものもちょLv.19は切り易いしさらにターンする; int3 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact3 -> int3: ({B}{b} & {C}{b}); int3 & fact4 -> hypothesis; __DISPROVED__