Anne is kind. Bob is smart. Gary is smart. Harry is red. If someone is red then they are quiet. Quiet people are cold. If someone is smart and cold then they are big.
Anne is not kind.
@0: Anne is kind.[(triple1)] Bob is smart.[(triple2)] Gary is smart.[(triple3)] Harry is red.[(triple4)] @1: Harry is quiet.[(((triple4) -> rule1))] @2: Harry is cold.[(((((triple4) -> rule1)) -> rule2))]