Anne is red. Bob is big. Charlie is kind. Gary is quiet. All young, kind things are furry. Rough, red things are kind. If something is rough and big then it is furry. If something is red and young then it is quiet. If something is red then it is furry. If Anne is furry then Anne is young.
Charlie is kind.
@0: Anne is red.[(triple1)] Bob is big.[(triple2)] Charlie is kind.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is furry.[(((triple1) -> rule5))] @2: Anne is young.[(((((triple1) -> rule5)) -> rule6))] @3: Anne is quiet.[(((triple1 ((((triple1) -> rule5)) -> rule6)) -> rule4))]