Anne is blue. Anne is cold. Anne is furry. Anne is red. Bob is blue. Bob is not cold. Bob is furry. Bob is not green. Bob is not white. Bob is young. Fiona is not cold. Fiona is green. Fiona is red. Fiona is white. Fiona is not young. If something is red and not young then it is green.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is red.[(triple4)] Bob is blue.[(triple5)] Bob is furry.[(triple7)] Bob is not cold.[(triple6)] Bob is not green.[(triple8)] Bob is not white.[(triple9)] Bob is young.[(triple10)] Fiona is green.[(triple12 OR ((triple13 triple15) -> rule1))] Fiona is not cold.[(triple11)] Fiona is not young.[(triple15)] Fiona is red.[(triple13)] Fiona is white.[(triple14)]