Charlie is cold. Charlie is round. Erin is big. Erin is cold. Erin is not round. Harry is not big. Harry is white. If someone is rough and white then they are furry. All big, rough people are white. If someone is furry then they are rough. Cold people are rough. If Charlie is nice and Charlie is not big then Charlie is rough. If Erin is cold then Erin is big. If Erin is big and Erin is not white then Erin is not round. If someone is nice and not furry then they are not round.
Erin is not white.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Erin is big.[(triple3 OR ((triple4) -> rule6))] Erin is cold.[(triple4)] Erin is not round.[(triple5)] Harry is not big.[(triple6)] Harry is white.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule4))] Erin is rough.[(((triple4) -> rule4))] @2: Erin is white.[(((triple3 ((triple4) -> rule4)) -> rule2) OR ((((triple4) -> rule6) ((triple4) -> rule4)) -> rule2))] @3: Erin is furry.[(((((triple4) -> rule4) ((triple3 ((triple4) -> rule4)) -> rule2)) -> rule1) OR ((((triple4) -> rule4) ((((triple4) -> rule6) ((triple4) -> rule4)) -> rule2)) -> rule1))]