Dave is not big. Dave is not blue. Dave is kind. Dave is red. Dave is not young. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is not rough. Gary is not young. If someone is nice then they are red. If Dave is rough then Dave is nice. If someone is young and blue then they are not big.
Gary is not rough.
@0: Dave is kind.[(triple3)] Dave is not big.[(triple1)] Dave is not blue.[(triple2)] Dave is not young.[(triple5)] Dave is red.[(triple4)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is not rough.[(triple11)] Gary is not young.[(triple12)] Gary is red.[(triple10 OR ((triple9) -> rule1))]