Dave is green. Fiona is white. Harry is cold. If Fiona is green then Fiona is rough. If Harry is cold and Harry is kind then Harry is rough. If someone is kind then they are cold. Nice people are rough. All nice people are white. If someone is green and white then they are rough. If someone is red and green then they are kind. If Dave is green then Dave is red.
Fiona is white.
@0: Dave is green.[(triple1)] Fiona is white.[(triple2)] Harry is cold.[(triple3)] @1: Dave is red.[(((triple1) -> rule8))] @2: Dave is kind.[(((((triple1) -> rule8) triple1) -> rule7))] @3: Dave is cold.[(((((((triple1) -> rule8) triple1) -> rule7)) -> rule3))]