Anne is red. Harry is cold. Cold things are red. All red things are rough. Cold things are rough. All rough, cold things are round. If something is round then it is not big. If something is green and not big then it is not blue.
Anne is not red.
@0: Anne is red.[(triple1)] Harry is cold.[(triple2)] @1: Anne is rough.[(((triple1) -> rule2))] Harry is red.[(((triple2) -> rule1))] Harry is rough.[(((triple2) -> rule3) OR ((((triple2) -> rule1)) -> rule2))] @2: Harry is round.[(((((triple2) -> rule3) triple2) -> rule4) OR ((((((triple2) -> rule1)) -> rule2) triple2) -> rule4))] @3: Harry is not big.[(((((((triple2) -> rule3) triple2) -> rule4)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule2) triple2) -> rule4)) -> rule5))]