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.
Harry is round.
@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))]