Anne is blue. Anne is not red. Anne is rough. Bob is cold. Bob is green. Bob is red. Dave is green. Dave is rough. Fiona is red. Fiona is round. If Anne is rough then Anne is not green. If Bob is round and Bob is cold then Bob is blue.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is not red.[(triple2)] Anne is rough.[(triple3)] Bob is cold.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6)] Dave is green.[(triple7)] Dave is rough.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] @1: Anne is not green.[(((triple3) -> rule1))]