Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is young. Fiona is big. Fiona is green. Fiona is not kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is young. Green things are nice.
Fiona is kind.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple2) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple11 OR ((triple9) -> rule1))] Fiona is not kind.[(triple10)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14)]