あのまなまねLv.2は思しい
fact1: このまよまいLv.94は白し fact2: あのぴなぴわLv.26は心強い fact3: もし「このまよまいLv.94は心強い」ということは真実であるならあのぴなぴわLv.26は白し fact4: もしもあのぴなぴわLv.26が心強いとしたらこのまよまいLv.94は急変する
fact4 & fact2 -> int1: このまよまいLv.94は急変する; int1 & fact1 -> int2: このまよまいLv.94は急変するしさらにそれは白し;
fact4 & fact2 -> int1: {B}{b}; int1 & fact1 -> int2: ({B}{b} & {C}{b});
$facts$ = fact1: このまよまいLv.94は白し fact2: あのぴなぴわLv.26は心強い fact3: もし「このまよまいLv.94は心強い」ということは真実であるならあのぴなぴわLv.26は白し fact4: もしもあのぴなぴわLv.26が心強いとしたらこのまよまいLv.94は急変する ; $hypothesis$ = あのまなまねLv.2は思しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__