Anne is blue. Anne is furry. Anne is kind. Anne is not rough. Anne is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is not kind. Fiona is rough. Fiona is round. Fiona is young. All young, furry things are round. All green, blue things are furry.
Fiona is not round.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not rough.[(triple4)] Anne is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple8 triple6) -> rule2))] Fiona is green.[(triple8)] Fiona is not kind.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11 OR ((triple12 triple7) -> rule1) OR ((triple12 ((triple8 triple6) -> rule2)) -> rule1))] Fiona is young.[(triple12)] @1: Anne is round.[(((triple5 triple2) -> rule1))]