Erin is nice. Gary is nice. If Gary is green then Gary is furry. Nice people are cold. All nice people are quiet. If someone is quiet and rough then they are not young. Quiet people are furry. If someone is nice and not cold then they are furry. If someone is furry and not cold then they are not rough. Furry people are not rough.
Erin is not nice.
@0: Erin is nice.[(triple1)] Gary is nice.[(triple2)] @1: Erin is cold.[(((triple1) -> rule2))] Erin is quiet.[(((triple1) -> rule3))] Gary is cold.[(((triple2) -> rule2))] Gary is quiet.[(((triple2) -> rule3))] @2: Erin is furry.[(((((triple1) -> rule3)) -> rule5))] Gary is furry.[(((((triple2) -> rule3)) -> rule5))] @3: Erin is not rough.[(((((((triple1) -> rule3)) -> rule5)) -> rule8))] Gary is not rough.[(((((((triple2) -> rule3)) -> rule5)) -> rule8))]