Erin is kind. Erin is red. Erin is smart. Erin is young. Gary is red. Gary is round. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is red. Harry is round. Red things are kind. If something is red and cold then it is kind. If Harry is young then Harry is furry. Kind things are smart. Kind, red things are smart. If something is kind then it is cold. If Gary is kind and Gary is furry then Gary is not young. If something is round and not red then it is furry.
Erin is smart.
@0: Erin is kind.[(triple1 OR ((triple2) -> rule1))] Erin is red.[(triple2)] Erin is smart.[(triple3 OR ((triple1) -> rule4) OR ((triple1 triple2) -> rule5) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple2) -> rule1) triple2) -> rule5))] Erin is young.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((((triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule1) triple5) -> rule5))] Gary is young.[(triple8)] Harry is cold.[(triple9 OR ((((triple11) -> rule1)) -> rule6))] Harry is furry.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Erin is cold.[(((triple1) -> rule6) OR ((((triple2) -> rule1)) -> rule6))] Gary is kind.[(((triple5) -> rule1))] Harry is kind.[(((triple11) -> rule1) OR ((triple11 triple9) -> rule2))] @2: Gary is cold.[(((((triple5) -> rule1)) -> rule6))] Harry is smart.[(((((triple11) -> rule1)) -> rule4) OR ((((triple11 triple9) -> rule2)) -> rule4) OR ((((triple11) -> rule1) triple11) -> rule5) OR ((((triple11 triple9) -> rule2) triple11) -> rule5))]