Dave is kind. Fiona is blue. Fiona is kind. If Dave is white and Dave is kind then Dave is furry. If someone is kind and smart then they are not green. If someone is blue and furry then they are smart. All blue people are furry. If someone is smart and not white then they are not kind. All green, white people are kind. If someone is white and furry then they are blue. Blue people are cold.
Fiona is not green.
@0: Dave is kind.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule8))] Fiona is furry.[(((triple2) -> rule4))] @2: Fiona is smart.[(((triple2 ((triple2) -> rule4)) -> rule3))] @3: Fiona is not green.[(((triple3 ((triple2 ((triple2) -> rule4)) -> rule3)) -> rule2))]