Anne is big. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is young. Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is young. All young things are round. Young things are quiet.
Anne is red.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple7) -> rule2))] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple7) -> rule1))] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple14) -> rule2))] Fiona is red.[(triple12)] Fiona is round.[(triple13 OR ((triple14) -> rule1))] Fiona is young.[(triple14)]