Anne is furry. Harry is blue. Round things are kind. If something is blue then it is round. All kind things are not red. If something is round and not red then it is not furry. If something is round then it is nice. If something is furry and not young then it is not nice.
Anne is blue.
@0: Anne is furry.[(triple1)] Harry is blue.[(triple2)] @1: Harry is round.[(((triple2) -> rule2))] @2: Harry is kind.[(((((triple2) -> rule2)) -> rule1))] Harry is nice.[(((((triple2) -> rule2)) -> rule5))] @3: Harry is not red.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))] @4: Harry is not furry.[(((((triple2) -> rule2) ((((((triple2) -> rule2)) -> rule1)) -> rule3)) -> rule4))]