Anne is blue. Anne is kind. Anne is round. Anne is white. Fiona is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Gary is blue. Gary is green. Gary is smart. Gary is white. Smart, green things are round. Green things are blue.
Gary is kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Fiona is blue.[(triple5 OR ((triple6) -> rule2))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9 OR ((triple10 triple6) -> rule1))] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Gary is blue.[(triple12 OR ((triple13) -> rule2))] Gary is green.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Gary is round.[(((triple14 triple13) -> rule1))]