Anne is nice. Bob is big. Charlie is blue. If Anne is big then Anne is rough. If something is nice then it is blue. If something is young then it is red. If something is blue then it is rough. All nice, rough things are young. All furry, big things are blue. If something is furry then it is blue. Furry things are big.
Anne is not rough.
@0: Anne is nice.[(triple1)] Bob is big.[(triple2)] Charlie is blue.[(triple3)] @1: Anne is blue.[(((triple1) -> rule2))] Charlie is rough.[(((triple3) -> rule4))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule4))] @3: Anne is young.[(((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule5))] @4: Anne is red.[(((((triple1 ((((triple1) -> rule2)) -> rule4)) -> rule5)) -> rule3))]