このみくみやLv.49は焼けない
fact1: このみくみやLv.49が易しいとしたら焼ける fact2: このみくみやLv.49は甚振る fact3: このぴねぴねLv.77が人懐こいしその上高い fact4: このみくみやLv.49は付き難いしさらに開き易い fact5: もしもこのみくみやLv.49が付き難いならこのみくみやLv.49は洒落臭い fact6: もしこのみくみやLv.49が付き難いとするとこのみくみやLv.49は易しい
fact4 -> int1: このみくみやLv.49は付き難い; int1 & fact6 -> int2: このみくみやLv.49は易しい; int2 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
このぴねぴねLv.77は人懐こいしかつ焼ける
fact7 -> int3: このぴねぴねLv.77は人懐こい;
$facts$ = fact1: このみくみやLv.49が易しいとしたら焼ける fact2: このみくみやLv.49は甚振る fact3: このぴねぴねLv.77が人懐こいしその上高い fact4: このみくみやLv.49は付き難いしさらに開き易い fact5: もしもこのみくみやLv.49が付き難いならこのみくみやLv.49は洒落臭い fact6: もしこのみくみやLv.49が付き難いとするとこのみくみやLv.49は易しい ; $hypothesis$ = このみくみやLv.49は焼けない ; $proof$ = 
fact4 -> int1: このみくみやLv.49は付き難い; int1 & fact6 -> int2: このみくみやLv.49は易しい; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__