Charlie is blue. Charlie is quiet. Dave is blue. If Dave is furry and Dave is quiet then Dave is smart. All furry, blue people are kind. Kind people are young. Quiet, kind people are young. If someone is quiet then they are kind. Kind, young people are quiet. If Dave is quiet and Dave is furry then Dave is green. If someone is quiet and green then they are blue.
Charlie is not young.
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Dave is blue.[(triple3)] @1: Charlie is kind.[(((triple2) -> rule5))] @2: Charlie is young.[(((((triple2) -> rule5)) -> rule3) OR ((triple2 ((triple2) -> rule5)) -> rule4))]