Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is not white. Dave is green. Dave is kind. Dave is red. Dave is round. Dave is smart. If something is green and white then it is kind. If something is smart and not white then it is round. If Dave is red then Dave is smart.
Charlie is kind.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not white.[(triple7)] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple6 triple7) -> rule2))] Charlie is smart.[(triple6)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is red.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12 OR ((triple10) -> rule3))]