Anne is blue. Anne is nice. Anne is rough. Anne is white. Erin is quiet. Erin is rough. Gary is blue. Harry is furry. Harry is smart. Harry is white. If someone is blue then they are nice. If Erin is blue then Erin is furry.
Gary is not blue.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule1))] Anne is rough.[(triple3)] Anne is white.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Gary is blue.[(triple7)] Harry is furry.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Gary is nice.[(((triple7) -> rule1))]