Charlie is not furry. Erin is cold. If Erin is cold then Erin is rough. Rough people are white. All rough people are white. If someone is furry then they are green. If someone is cold and white then they are smart. If someone is kind and not white then they are not smart.
Erin is furry.
@0: Charlie is not furry.[(triple1)] Erin is cold.[(triple2)] @1: Erin is rough.[(((triple2) -> rule1))] @2: Erin is white.[(((((triple2) -> rule1)) -> rule2) OR ((((triple2) -> rule1)) -> rule3))] @3: Erin is smart.[(((triple2 ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((triple2 ((((triple2) -> rule1)) -> rule3)) -> rule5))]