Charlie is furry. Gary is kind. Gary is nice. Smart things are quiet. If something is nice and young then it is smart. If Gary is quiet and Gary is nice then Gary is kind. Quiet things are smart. All furry, smart things are big. All furry things are quiet. If something is furry and smart then it is quiet. If something is smart and nice then it is kind.
Gary is not young.
@0: Charlie is furry.[(triple1)] Gary is kind.[(triple2)] Gary is nice.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule6))] @2: Charlie is smart.[(((((triple1) -> rule6)) -> rule4))] @3: Charlie is big.[(((triple1 ((((triple1) -> rule6)) -> rule4)) -> rule5))]