Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is smart. Fiona is green. Gary is furry. Gary is kind. Gary is smart. Harry is kind. If someone is green then they are kind. If someone is smart and green then they are kind. If someone is cold and kind then they are green.
Harry is not green.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple2 triple4) -> rule3))] Charlie is kind.[(triple4 OR ((triple3) -> rule1) OR ((triple5 triple3) -> rule2))] Charlie is smart.[(triple5)] Fiona is green.[(triple6)] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Gary is smart.[(triple9)] Harry is kind.[(triple10)] @1: Fiona is kind.[(((triple6) -> rule1))]