Anne is blue. Anne is furry. Anne is green. Anne is rough. Anne is not round. Anne is smart. Anne is not white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. Fiona is not white. Harry is blue. Harry is not furry. If someone is furry then they are blue. If Anne is green and Anne is not smart then Anne is not blue.
Anne is not rough.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is not round.[(triple5)] Anne is not white.[(triple7)] Anne is rough.[(triple4)] Anne is smart.[(triple6)] Fiona is blue.[(triple8 OR ((triple9) -> rule1))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is not white.[(triple13)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] Harry is blue.[(triple14)] Harry is not furry.[(triple15)]