Charlie is blue. Charlie is furry. Charlie is not rough. Charlie is round. Charlie is not white. Charlie is not young. Fiona is not big. Fiona is rough. Fiona is not round. Fiona is young. All blue, young things are not rough. If something is round then it is not white. Blue, rough things are not young.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is not rough.[(triple3)] Charlie is not white.[(triple5 OR ((triple4) -> rule2))] Charlie is not young.[(triple6)] Charlie is round.[(triple4)] Fiona is not big.[(triple7)] Fiona is not round.[(triple9)] Fiona is rough.[(triple8)] Fiona is young.[(triple10)]