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