Erin is quiet. Erin is rough. Erin is young. If Erin is quiet and Erin is kind then Erin is furry. If someone is furry then they are cold. If someone is kind and not rough then they are young. If someone is green and cold then they are young. If someone is green then they are not kind. If someone is young and rough then they are kind.
Erin is not cold.
@0: Erin is quiet.[(triple1)] Erin is rough.[(triple2)] Erin is young.[(triple3)] @1: Erin is kind.[(((triple3 triple2) -> rule6))] @2: Erin is furry.[(((triple1 ((triple3 triple2) -> rule6)) -> rule1))] @3: Erin is cold.[(((((triple1 ((triple3 triple2) -> rule6)) -> rule1)) -> rule2))]