Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is not round. Dave is white. Dave is young. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is not white. Gary is young. If Gary is not green then Gary is young. All round people are young. If Dave is round then Dave is white.
Gary is round.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is not round.[(triple5)] Dave is rough.[(triple4)] Dave is white.[(triple6)] Dave is young.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is not white.[(triple13)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is young.[(triple14 OR ((triple12) -> rule2))]