Fiona is furry. Fiona is not kind. Fiona is round. If Fiona is round then Fiona is white. If someone is green and red then they are white. If Fiona is furry and Fiona is not round then Fiona is not green. If someone is kind and not white then they are cold. If Fiona is green and Fiona is not furry then Fiona is not cold. If Fiona is round and Fiona is not white then Fiona is cold.
Fiona is not cold.
@0: Fiona is furry.[(triple1)] Fiona is not kind.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is white.[(((triple3) -> rule1))]