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