Bob is furry. Bob is not green. Bob is not kind. Bob is rough. Dave is not blue. Dave is kind. Dave is not white. Fiona is blue. Fiona is cold. Fiona is white. Cold things are green. If Bob is rough and Bob is cold then Bob is blue.
Fiona is not cold.
@0: Bob is furry.[(triple1)] Bob is not green.[(triple2)] Bob is not kind.[(triple3)] Bob is rough.[(triple4)] Dave is kind.[(triple6)] Dave is not blue.[(triple5)] Dave is not white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is green.[(((triple9) -> rule1))]