Anne is smart. Charlie is kind. Charlie is red. Dave is red. Dave is round. Harry is blue. Harry is white. If something is round then it is smart.
Harry is not smart.
@0: Anne is smart.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Harry is blue.[(triple6)] Harry is white.[(triple7)] @1: Dave is smart.[(((triple5) -> rule1))]