このまよまちゃLv.78は攣る
fact1: このまよまちゃLv.78は仕舞い易い fact2: このまよまちゃLv.78は仕舞い易くて赤っぽい fact3: もしこのまよまちゃLv.78は赤っぽいし更に多しとすると攣るない fact4: このまよまちゃLv.78は多し
fact2 -> int1: このまよまちゃLv.78は赤っぽい; int1 & fact4 -> int2: このまよまちゃLv.78は赤っぽくてかつそれは多し; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: このまよまちゃLv.78は仕舞い易い fact2: このまよまちゃLv.78は仕舞い易くて赤っぽい fact3: もしこのまよまちゃLv.78は赤っぽいし更に多しとすると攣るない fact4: このまよまちゃLv.78は多し ; $hypothesis$ = このまよまちゃLv.78は攣る ; $proof$ = 
fact2 -> int1: このまよまちゃLv.78は赤っぽい; int1 & fact4 -> int2: このまよまちゃLv.78は赤っぽくてかつそれは多し; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis; __DISPROVED__