Anne is big. Furry, red things are rough. If something is big then it is rough. Rough things are blue. If Anne is blue then Anne is not quiet. If Anne is red then Anne is furry. Blue things are white.
Anne is red.
@0: Anne is big.[(triple1)] @1: Anne is rough.[(((triple1) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule2)) -> rule3))] @3: Anne is not quiet.[(((((((triple1) -> rule2)) -> rule3)) -> rule4))] Anne is white.[(((((((triple1) -> rule2)) -> rule3)) -> rule6))]