Anne is smart. Bob is furry. Erin is furry. Gary is young. Smart things are young. Kind, white things are young. If something is young then it is furry. If Anne is smart and Anne is furry then Anne is white. All white, young things are kind. All kind things are rough.
Gary is not young.
@0: Anne is smart.[(triple1)] Bob is furry.[(triple2)] Erin is furry.[(triple3)] Gary is young.[(triple4)] @1: Anne is young.[(((triple1) -> rule1))] Gary is furry.[(((triple4) -> rule3))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule3))] @3: Anne is white.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule4))] @4: Anne is kind.[(((((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule5))] @5: Anne is rough.[(((((((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule5)) -> rule6))]