Charlie is kind. If Charlie is young and Charlie is quiet then Charlie is furry. All young things are quiet. All kind things are furry. Green things are furry. All quiet things are green. Green, quiet things are round. If Charlie is rough and Charlie is furry then Charlie is young. Kind, furry things are young.
Charlie is not quiet.
@0: Charlie is kind.[(triple1)] @1: Charlie is furry.[(((triple1) -> rule3))] @2: Charlie is young.[(((triple1 ((triple1) -> rule3)) -> rule8))] @3: Charlie is quiet.[(((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule2))] @4: Charlie is green.[(((((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule2)) -> rule5))] @5: Charlie is round.[(((((((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule2)) -> rule5) ((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule2)) -> rule6))]