Charlie is blue. Charlie is red. Charlie is round. Charlie is smart. Erin is red. Erin is round. Gary is red. Gary is round. Gary is smart. Harry is green. Harry is round. Harry is smart. Young things are green. If Gary is red and Gary is round then Gary is young. If Harry is round and Harry is green then Harry is blue.
Charlie is not green.
@0: Charlie is blue.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Harry is green.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Gary is young.[(((triple7 triple8) -> rule2))] Harry is blue.[(((triple11 triple10) -> rule3))] @2: Gary is green.[(((((triple7 triple8) -> rule2)) -> rule1))]