Charlie is blue. Charlie is furry. Charlie is red. Erin is blue. Erin is cold. Erin is red. Gary is cold. Gary is furry. Gary is kind. Gary is red. Gary is smart. Gary is young. Harry is cold. Harry is kind. Harry is red. Harry is smart. All red people are blue. If someone is cold and blue then they are furry. If someone is red then they are cold. If Erin is red and Erin is furry then Erin is not smart. If Harry is cold and Harry is not blue then Harry is young. If Harry is young then Harry is smart. Red, young people are smart. Kind people are smart.
Gary is not kind.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule1))] Charlie is furry.[(triple2 OR ((((triple3) -> rule3) triple1) -> rule2) OR ((((triple3) -> rule3) ((triple3) -> rule1)) -> rule2))] Charlie is red.[(triple3)] Erin is blue.[(triple4 OR ((triple6) -> rule1))] Erin is cold.[(triple5 OR ((triple6) -> rule3))] Erin is red.[(triple6)] Gary is cold.[(triple7 OR ((triple10) -> rule3))] Gary is furry.[(triple8 OR ((triple7 ((triple10) -> rule1)) -> rule2) OR ((((triple10) -> rule3) ((triple10) -> rule1)) -> rule2))] Gary is kind.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11 OR ((triple9) -> rule8) OR ((triple10 triple12) -> rule7))] Gary is young.[(triple12)] Harry is cold.[(triple13 OR ((triple15) -> rule3))] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is smart.[(triple16 OR ((triple14) -> rule8))] @1: Charlie is cold.[(((triple3) -> rule3))] Erin is furry.[(((triple5 triple4) -> rule2) OR ((triple5 ((triple6) -> rule1)) -> rule2) OR ((((triple6) -> rule3) triple4) -> rule2) OR ((((triple6) -> rule3) ((triple6) -> rule1)) -> rule2))] Gary is blue.[(((triple10) -> rule1))] Harry is blue.[(((triple15) -> rule1))] @2: Erin is not smart.[(((triple6 ((triple5 triple4) -> rule2)) -> rule4) OR ((triple6 ((triple5 ((triple6) -> rule1)) -> rule2)) -> rule4) OR ((triple6 ((((triple6) -> rule3) triple4) -> rule2)) -> rule4) OR ((triple6 ((((triple6) -> rule3) ((triple6) -> rule1)) -> rule2)) -> rule4))] Harry is furry.[(((triple13 ((triple15) -> rule1)) -> rule2) OR ((((triple15) -> rule3) ((triple15) -> rule1)) -> rule2))]