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