Anne is red. Anne is round. Anne is smart. Erin is round. Erin is smart. Erin is young. Gary is red. Gary is white. Harry is nice. Harry is round. Red people are blue.
Harry is not blue.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5)] Erin is young.[(triple6)] Gary is red.[(triple7)] Gary is white.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)] @1: Anne is blue.[(((triple1) -> rule1))] Gary is blue.[(((triple7) -> rule1))]