Charlie is blue. Charlie is green. Charlie is quiet. Charlie is not rough. Charlie is not smart. Charlie is not young. Fiona is green. Fiona is white. Fiona is young. Gary is blue. Gary is green. Gary is rough. Gary is smart. Gary is white. Gary is young. If something is rough then it is blue. If Gary is quiet then Gary is smart. If something is rough and not blue then it is not smart. If something is smart and not blue then it is green. If something is rough and not smart then it is green. If something is blue and not quiet then it is green. If Charlie is green and Charlie is not smart then Charlie is white. Smart, green things are young.
Fiona is not green.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is not rough.[(triple4)] Charlie is not smart.[(triple5)] Charlie is not young.[(triple6)] Charlie is quiet.[(triple3)] Fiona is green.[(triple7)] Fiona is white.[(triple8)] Fiona is young.[(triple9)] Gary is blue.[(triple10 OR ((triple12) -> rule1))] Gary is green.[(triple11)] Gary is rough.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple13 triple11) -> rule8))] @1: Charlie is white.[(((triple2 triple5) -> rule7))]