Erin is blue. Erin is cold. Erin is furry. Erin is smart. Gary is big. Gary is smart. Harry is big. Harry is cold. Harry is furry. Harry is kind. If something is blue and quiet then it is big. Big things are kind. All kind things are cold. Furry, big things are blue. If something is kind and big then it is blue. If something is furry and big then it is kind. If something is smart and cold then it is furry. Smart things are kind.
Harry is smart.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((((triple4) -> rule8)) -> rule3))] Erin is furry.[(triple3 OR ((triple4 triple2) -> rule7) OR ((triple4 ((((triple4) -> rule8)) -> rule3)) -> rule7))] Erin is smart.[(triple4)] Gary is big.[(triple5)] Gary is smart.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8 OR ((triple10) -> rule3) OR ((((triple7) -> rule2)) -> rule3) OR ((((triple9 triple7) -> rule6)) -> rule3))] Harry is furry.[(triple9)] Harry is kind.[(triple10 OR ((triple7) -> rule2) OR ((triple9 triple7) -> rule6))] @1: Erin is kind.[(((triple4) -> rule8))] Gary is kind.[(((triple5) -> rule2) OR ((triple6) -> rule8))] Harry is blue.[(((triple10 triple7) -> rule5) OR ((triple9 triple7) -> rule4) OR ((((triple7) -> rule2) triple7) -> rule5) OR ((((triple9 triple7) -> rule6) triple7) -> rule5))] @2: Gary is blue.[(((((triple5) -> rule2) triple5) -> rule5) OR ((((triple6) -> rule8) triple5) -> rule5) OR ((((triple6 ((((triple5) -> rule2)) -> rule3)) -> rule7) triple5) -> rule4) OR ((((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7) triple5) -> rule4))] Gary is cold.[(((((triple5) -> rule2)) -> rule3) OR ((((triple6) -> rule8)) -> rule3))] @3: Gary is furry.[(((triple6 ((((triple5) -> rule2)) -> rule3)) -> rule7) OR ((triple6 ((((triple6) -> rule8)) -> rule3)) -> rule7))]