Anne is furry. Anne is red. Anne is white. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is white. Fiona is furry. Fiona is kind. Fiona is red. Fiona is rough. If someone is kind then they are cold.
Anne is not cold.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Dave is cold.[(triple4 OR ((triple6) -> rule1))] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Dave is red.[(triple7)] Dave is white.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] @1: Fiona is cold.[(((triple10) -> rule1))]