Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. Erin is white. If Erin is furry and Erin is smart then Erin is white.
Erin is not white.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple3 triple6) -> rule1))]