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