Anne is big. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is smart. All furry, nice things are rough. Quiet things are nice. All smart, nice things are green.
Anne is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple2 ((triple4) -> rule2)) -> rule1))] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple12 triple9) -> rule3) OR ((triple12 ((triple10) -> rule2)) -> rule3))] Fiona is nice.[(triple9 OR ((triple10) -> rule2))] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11 OR ((triple7 triple9) -> rule1) OR ((triple7 ((triple10) -> rule2)) -> rule1))] Fiona is smart.[(triple12)] @1: Anne is nice.[(((triple4) -> rule2))]