Anne is not red. Charlie is red. Charlie is smart. Dave is green. Dave is not white. Harry is kind. Harry is red. If someone is kind then they are furry. If Harry is red and Harry is white then Harry is furry. If someone is kind and smart then they are white. All nice people are green. If someone is white and red then they are smart. All smart people are kind.
Charlie is nice.
@0: Anne is not red.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Dave is green.[(triple4)] Dave is not white.[(triple5)] Harry is kind.[(triple6)] Harry is red.[(triple7)] @1: Charlie is kind.[(((triple3) -> rule6))] Harry is furry.[(((triple6) -> rule1))] @2: Charlie is furry.[(((((triple3) -> rule6)) -> rule1))] Charlie is white.[(((((triple3) -> rule6) triple3) -> rule3))]