Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Fiona is not cold. Fiona is green. Fiona is nice. Fiona is rough. Fiona is round. Fiona is not white. Gary is rough. Gary is not round. If Charlie is green and Charlie is cold then Charlie is round. If something is green and not nice then it is white. If Gary is not round then Gary is cold. If Gary is not round then Gary is rough. Nice things are rough. If something is young and not green then it is not cold.
Fiona is young.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4 OR ((triple3) -> rule5))] Charlie is round.[(triple5 OR ((triple2 triple1) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is not cold.[(triple8)] Fiona is not white.[(triple13)] Fiona is rough.[(triple11 OR ((triple10) -> rule5))] Fiona is round.[(triple12)] Gary is not round.[(triple15)] Gary is rough.[(triple14 OR ((triple15) -> rule4))] @1: Gary is cold.[(((triple15) -> rule3))]