Charlie is not green. Charlie is kind. Charlie is not red. Charlie is rough. Charlie is smart. Charlie is white. Dave is red. Dave is rough. Dave is round. Dave is smart. If someone is rough and round then they are kind. If someone is green then they are kind. If someone is kind then they are white. All green, kind people are white. If someone is white and not kind then they are red. If someone is red and white then they are smart.
Dave is not white.
@0: Charlie is kind.[(triple2)] Charlie is not green.[(triple1)] Charlie is not red.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple2) -> rule3))] Dave is red.[(triple7)] Dave is rough.[(triple8)] Dave is round.[(triple9)] Dave is smart.[(triple10 OR ((triple7 ((((triple8 triple9) -> rule1)) -> rule3)) -> rule6))] @1: Dave is kind.[(((triple8 triple9) -> rule1))] @2: Dave is white.[(((((triple8 triple9) -> rule1)) -> rule3))]