Charlie is green. Charlie is not kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Charlie is not young. Dave is green. Dave is kind. Dave is not nice. Dave is red. Dave is smart. Dave is white. Dave is young. If someone is white and young then they are smart.
Charlie is not young.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple3)] Charlie is not kind.[(triple2)] Charlie is not young.[(triple7)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is not nice.[(triple10)] Dave is red.[(triple11)] Dave is smart.[(triple12 OR ((triple13 triple14) -> rule1))] Dave is white.[(triple13)] Dave is young.[(triple14)]