Charlie is big. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. All young things are quiet. If something is big and not white then it is young. If Charlie is furry then Charlie is big.
Fiona is smart.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule3))] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((triple7) -> rule1))] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple14) -> rule1))] Fiona is smart.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]