Anne is cold. Anne is rough. Charlie is kind. Erin is blue. Erin is cold. Erin is furry. Gary is cold. Furry people are green. All rough people are furry. Green people are furry. If someone is rough then they are young. If Erin is green and Erin is furry then Erin is young. If someone is young then they are kind. If someone is green and furry then they are rough. If Charlie is young then Charlie is rough.
Erin is green.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Charlie is kind.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Gary is cold.[(triple7)] @1: Anne is furry.[(((triple2) -> rule2))] Anne is young.[(((triple2) -> rule4))] Erin is green.[(((triple6) -> rule1))] @2: Anne is green.[(((((triple2) -> rule2)) -> rule1))] Anne is kind.[(((((triple2) -> rule4)) -> rule6))] Erin is rough.[(((((triple6) -> rule1) triple6) -> rule7))] Erin is young.[(((((triple6) -> rule1) triple6) -> rule5) OR ((((((triple6) -> rule1) triple6) -> rule7)) -> rule4))] @3: Erin is kind.[(((((((triple6) -> rule1) triple6) -> rule5)) -> rule6) OR ((((((((triple6) -> rule1) triple6) -> rule7)) -> rule4)) -> rule6))]