Charlie is kind. If Charlie is quiet then Charlie is furry. If something is furry and kind then it is smart. All quiet, furry things are young. If something is smart and young then it is red. If something is smart then it is white. All kind things are furry.
Charlie is smart.
@0: Charlie is kind.[(triple1)] @1: Charlie is furry.[(((triple1) -> rule6))] @2: Charlie is smart.[(((((triple1) -> rule6) triple1) -> rule2))] @3: Charlie is white.[(((((((triple1) -> rule6) triple1) -> rule2)) -> rule5))]