Charlie is furry. Charlie is green. Charlie is smart. Harry is kind. Harry is quiet. Harry is smart. Harry is white. Furry things are quiet. Quiet, green things are white. Rough things are furry.
Charlie is not smart.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is smart.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Charlie is quiet.[(((triple1) -> rule1))] @2: Charlie is white.[(((((triple1) -> rule1) triple2) -> rule2))]