Dave is kind. Fiona is kind. Harry is green. Red people are kind. All white people are cold. If someone is kind then they are cold. Cold, kind people are not red. If someone is red then they are green. If someone is furry and green then they are young. All green people are young. If someone is white and not red then they are not furry.
Fiona is white.
@0: Dave is kind.[(triple1)] Fiona is kind.[(triple2)] Harry is green.[(triple3)] @1: Dave is cold.[(((triple1) -> rule3))] Fiona is cold.[(((triple2) -> rule3))] Harry is young.[(((triple3) -> rule7))] @2: Dave is not red.[(((((triple1) -> rule3) triple1) -> rule4))] Fiona is not red.[(((((triple2) -> rule3) triple2) -> rule4))]