「そのみにみにょLv.49は出入りし易いしそれはおっきい」ということは誤っている
fact1: あのぽゆぽねLv.22はコントロールし易い fact2: 「このもちゃもやLv.57は大人気無い」ということは事実であるとすればそのみにみにょLv.49はおっきい fact3: そのみにみにょLv.49は出入りし易い fact4: あのぽゆぽねLv.22がコントロールし易いとしたらこのもちゃもやLv.57は大人気無い
fact4 & fact1 -> int1: このもちゃもやLv.57は大人気無い; int1 & fact2 -> int2: そのみにみにょLv.49はおっきい; int2 & fact3 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぽゆぽねLv.22はコントロールし易い fact2: 「このもちゃもやLv.57は大人気無い」ということは事実であるとすればそのみにみにょLv.49はおっきい fact3: そのみにみにょLv.49は出入りし易い fact4: あのぽゆぽねLv.22がコントロールし易いとしたらこのもちゃもやLv.57は大人気無い ; $hypothesis$ = 「そのみにみにょLv.49は出入りし易いしそれはおっきい」ということは誤っている ; $proof$ = 
fact4 & fact1 -> int1: このもちゃもやLv.57は大人気無い; int1 & fact2 -> int2: そのみにみにょLv.49はおっきい; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{c}; int2 & fact3 -> hypothesis; __DISPROVED__