Bob is cold. Bob is not green. Bob is kind. Bob is not quiet. Bob is red. Bob is not rough. Bob is young. Gary is cold. Gary is green. Gary is kind. Gary is not quiet. Gary is red. Gary is rough. Gary is young. Rough, young people are green.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple3)] Bob is not green.[(triple2)] Bob is not quiet.[(triple4)] Bob is not rough.[(triple6)] Bob is red.[(triple5)] Bob is young.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9 OR ((triple13 triple14) -> rule1))] Gary is kind.[(triple10)] Gary is not quiet.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is young.[(triple14)]