Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is round. Erin is green. Gary is green. Gary is not red. Gary is round. Harry is blue. Kind people are not big.
Gary is green.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Erin is green.[(triple6)] Gary is green.[(triple7)] Gary is not red.[(triple8)] Gary is round.[(triple9)] Harry is blue.[(triple10)] @1: Anne is not big.[(((triple3) -> rule1))]