Anne is furry. Fiona is red. Harry is young. If something is big then it is rough. All red, kind things are big. Furry things are red. Furry things are kind. All young, round things are big. If Harry is rough then Harry is furry.
Anne is not big.
@0: Anne is furry.[(triple1)] Fiona is red.[(triple2)] Harry is young.[(triple3)] @1: Anne is kind.[(((triple1) -> rule4))] Anne is red.[(((triple1) -> rule3))] @2: Anne is big.[(((((triple1) -> rule3) ((triple1) -> rule4)) -> rule2))] @3: Anne is rough.[(((((((triple1) -> rule3) ((triple1) -> rule4)) -> rule2)) -> rule1))]