Charlie is smart. Harry is red. If something is smart then it is kind. If Charlie is furry and Charlie is not smart then Charlie is not kind. If something is red and furry then it is green. Smart, furry things are not green. If Charlie is kind then Charlie is furry. If Charlie is smart and Charlie is not green then Charlie is round.
Harry is not red.
@0: Charlie is smart.[(triple1)] Harry is red.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule1))] @2: Charlie is furry.[(((((triple1) -> rule1)) -> rule5))] @3: Charlie is not green.[(((triple1 ((((triple1) -> rule1)) -> rule5)) -> rule4))] @4: Charlie is round.[(((triple1 ((triple1 ((((triple1) -> rule1)) -> rule5)) -> rule4)) -> rule6))]