Dave is round. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is white. Gary is green. Gary is rough. Gary is round. Harry is white. All white people are nice. Furry people are green. If someone is quiet and round then they are rough.
Gary is not round.
@0: Dave is round.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3 OR ((triple6) -> rule1))] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6)] Gary is green.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Harry is white.[(triple10)] @1: Harry is nice.[(((triple10) -> rule1))]