Anne is big. Harry is not nice. If Anne is furry and Anne is not big then Anne is blue. All big people are furry. Big people are blue. If someone is furry then they are nice. If someone is nice then they are red. If someone is round and not furry then they are not cold.
Harry is round.
@0: Anne is big.[(triple1)] Harry is not nice.[(triple2)] @1: Anne is blue.[(((triple1) -> rule3))] Anne is furry.[(((triple1) -> rule2))] @2: Anne is nice.[(((((triple1) -> rule2)) -> rule4))] @3: Anne is red.[(((((((triple1) -> rule2)) -> rule4)) -> rule5))]