Anne is not blue. Charlie is not blue. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is not young. Fiona is blue. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Gary is nice. Gary is not red. Gary is round. Gary is white. If someone is white and blue then they are young.
Gary is red.
@0: Anne is not blue.[(triple1)] Charlie is nice.[(triple3)] Charlie is not blue.[(triple2)] Charlie is not round.[(triple6)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Fiona is blue.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12 OR ((triple11 triple8) -> rule1))] Gary is nice.[(triple13)] Gary is not red.[(triple14)] Gary is round.[(triple15)] Gary is white.[(triple16)]