Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. All furry things are blue.
Fiona is blue.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Fiona is blue.[(triple8 OR ((triple9) -> rule1))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is white.[(triple14)]