Charlie is not green. Charlie is rough. Charlie is not round. Charlie is smart. Charlie is white. Fiona is blue. Fiona is not kind. Fiona is round. Fiona is smart. Gary is green. Gary is rough. Gary is round. Gary is not smart. Harry is rough. Harry is smart. If something is green then it is white. If something is kind then it is white. If Fiona is blue and Fiona is not smart then Fiona is kind. White things are not blue. All smart, kind things are not green. All white things are rough. If something is rough and not kind then it is round. If something is blue and not smart then it is round.
Gary is not white.
@0: Charlie is not green.[(triple1)] Charlie is not round.[(triple3)] Charlie is rough.[(triple2 OR ((triple5) -> rule6))] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is not kind.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Gary is green.[(triple10)] Gary is not smart.[(triple13)] Gary is rough.[(triple11 OR ((((triple10) -> rule1)) -> rule6))] Gary is round.[(triple12)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Charlie is not blue.[(((triple5) -> rule4))] Gary is white.[(((triple10) -> rule1))] @2: Gary is not blue.[(((((triple10) -> rule1)) -> rule4))]