Dave is rough. Dave is young. Gary is cold. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is young. Harry is green. Harry is red. Harry is rough. Harry is young. Rough people are red. All round, young people are green.
Gary is not quiet.
@0: Dave is rough.[(triple1)] Dave is young.[(triple2)] Gary is cold.[(triple3)] Gary is green.[(triple4 OR ((triple7 triple8) -> rule2))] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] Gary is young.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10 OR ((triple11) -> rule1))] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Dave is red.[(((triple1) -> rule1))] Gary is red.[(((triple6) -> rule1))]