Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is young. Gary is cold. Gary is nice. Gary is quiet. Gary is not red. Gary is not rough. If something is round then it is nice. If Gary is red and Gary is not round then Gary is young.
Gary is not young.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2 OR ((triple6) -> rule1))] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is not red.[(triple11)] Gary is not rough.[(triple12)] Gary is quiet.[(triple10)]