Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is smart. Dave is white. Dave is young. Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is smart. Gary is white. Gary is young. All young people are green.
Gary is not young.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3 OR ((triple7) -> rule1))] Dave is kind.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is green.[(triple10 OR ((triple14) -> rule1))] Gary is kind.[(triple11)] Gary is smart.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]