Bob is blue. Fiona is smart. Harry is cold. All cold things are not round. If something is cold then it is not round. If something is blue then it is cold.
Fiona is blue.
@0: Bob is blue.[(triple1)] Fiona is smart.[(triple2)] Harry is cold.[(triple3)] @1: Bob is cold.[(((triple1) -> rule3))] Harry is not round.[(((triple3) -> rule1) OR ((triple3) -> rule2))] @2: Bob is not round.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))]