Charlie is furry. Fiona is kind. If someone is white and not red then they are kind. Kind people are cold.
Fiona is not kind.
@0: Charlie is furry.[(triple1)] Fiona is kind.[(triple2)] @1: Fiona is cold.[(((triple2) -> rule2))]