Bob is big. Charlie is white. Fiona is blue. Harry is blue. Blue things are cold. If something is quiet and blue then it is red. All cold things are white.
Charlie is not white.
@0: Bob is big.[(triple1)] Charlie is white.[(triple2)] Fiona is blue.[(triple3)] Harry is blue.[(triple4)] @1: Fiona is cold.[(((triple3) -> rule1))] Harry is cold.[(((triple4) -> rule1))] @2: Fiona is white.[(((((triple3) -> rule1)) -> rule3))] Harry is white.[(((((triple4) -> rule1)) -> rule3))]