Charlie is not round. Charlie is smart. Charlie is white. Dave is cold. Dave is green. Dave is kind. Dave is round. Dave is smart. Dave is not white. Harry is cold. Harry is green. Harry is kind. Harry is not red. Harry is round. Harry is smart. Harry is not white. If Dave is white and Dave is red then Dave is not cold. Red, kind people are smart. If someone is kind and not round then they are smart. If Dave is round then Dave is not red. Red, kind people are not cold. All smart, kind people are green. If Harry is red then Harry is white. If someone is round then they are not red.
Charlie is not smart.
@0: Charlie is not round.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5 OR ((triple8 triple6) -> rule6))] Dave is kind.[(triple6)] Dave is not white.[(triple9)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Harry is cold.[(triple10)] Harry is green.[(triple11 OR ((triple15 triple12) -> rule6))] Harry is kind.[(triple12)] Harry is not red.[(triple13 OR ((triple14) -> rule8))] Harry is not white.[(triple16)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Dave is not red.[(((triple7) -> rule4) OR ((triple7) -> rule8))]