Charlie is not smart. Dave is round. Harry is smart. If something is quiet and smart then it is furry. Smart things are not furry. If something is smart and not furry then it is big.
Charlie is not rough.
@0: Charlie is not smart.[(triple1)] Dave is round.[(triple2)] Harry is smart.[(triple3)] @1: Harry is not furry.[(((triple3) -> rule2))] @2: Harry is big.[(((triple3 ((triple3) -> rule2)) -> rule3))]