Anne is white. Erin is blue. Erin is kind. Erin is nice. Gary is kind. Gary is round. Gary is white. Harry is blue. Harry is cold. Harry is white. If someone is white then they are smart. If Harry is cold and Harry is kind then Harry is smart. If someone is cold and white then they are kind.
Harry is blue.
@0: Anne is white.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Gary is kind.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is white.[(triple10)] @1: Anne is smart.[(((triple1) -> rule1))] Gary is smart.[(((triple7) -> rule1))] Harry is kind.[(((triple9 triple10) -> rule3))] Harry is smart.[(((triple10) -> rule1) OR ((triple9 ((triple9 triple10) -> rule3)) -> rule2))]