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