Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Green, nice things are round. All smart things are quiet.
Gary is nice.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7 OR ((triple9) -> rule2))] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13 OR ((triple16) -> rule2))] Gary is rough.[(triple14)] Gary is round.[(triple15 OR ((triple11 triple12) -> rule1))] Gary is smart.[(triple16)] @1: Charlie is round.[(((triple2 triple3) -> rule1))]