Anne is kind. Fiona is smart. Gary is nice. Gary is red. Gary is white. Harry is nice. Harry is smart. All kind, smart people are nice. If someone is kind then they are white. Kind, nice people are red. If someone is white then they are green. If someone is green and white then they are smart. If Harry is kind and Harry is green then Harry is nice.
Fiona is not round.
@0: Anne is kind.[(triple1)] Fiona is smart.[(triple2)] Gary is nice.[(triple3)] Gary is red.[(triple4)] Gary is white.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Anne is white.[(((triple1) -> rule2))] Gary is green.[(((triple5) -> rule4))] @2: Anne is green.[(((((triple1) -> rule2)) -> rule4))] Gary is smart.[(((((triple5) -> rule4) triple5) -> rule5))] @3: Anne is smart.[(((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5))] @4: Anne is nice.[(((triple1 ((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5)) -> rule1))] @5: Anne is red.[(((triple1 ((triple1 ((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule3))]