Anne is round. Charlie is blue. Dave is not nice. Harry is kind. If something is kind and smart then it is not round. All kind things are smart.
Anne is not smart.
@0: Anne is round.[(triple1)] Charlie is blue.[(triple2)] Dave is not nice.[(triple3)] Harry is kind.[(triple4)] @1: Harry is smart.[(((triple4) -> rule2))] @2: Harry is not round.[(((triple4 ((triple4) -> rule2)) -> rule1))]