Dave is blue. Dave is green. Dave is kind. Dave is rough. Dave is smart. Dave is young. Gary is blue. Gary is green. Gary is kind. Gary is young. If Gary is blue then Gary is green.
Gary is not quiet.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8 OR ((triple7) -> rule1))] Gary is kind.[(triple9)] Gary is young.[(triple10)]