Anne is blue. Anne is not furry. Anne is green. Anne is nice. Anne is rough. Anne is not young. Dave is blue. Dave is furry. Dave is not smart. Fiona is not blue. Fiona is not furry. Fiona is not green. Fiona is not nice. Fiona is rough. Fiona is not smart. Fiona is young. If Fiona is furry then Fiona is blue. All rough, green things are blue.
Anne is not smart.
@0: Anne is blue.[(triple1 OR ((triple5 triple3) -> rule2))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Anne is not young.[(triple6)] Anne is rough.[(triple5)] Dave is blue.[(triple7)] Dave is furry.[(triple8)] Dave is not smart.[(triple9)] Fiona is not blue.[(triple10)] Fiona is not furry.[(triple11)] Fiona is not green.[(triple12)] Fiona is not nice.[(triple13)] Fiona is not smart.[(triple15)] Fiona is rough.[(triple14)] Fiona is young.[(triple16)]