Anne is blue. Anne is red. Anne is round. Anne is white. Charlie is not big. Charlie is blue. Charlie is green. Charlie is not quiet. Charlie is round. Fiona is not blue. Fiona is quiet. Fiona is white. Gary is blue. Gary is red. Gary is round. All green people are white. Green people are round.
Fiona is not blue.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Charlie is blue.[(triple6)] Charlie is green.[(triple7)] Charlie is not big.[(triple5)] Charlie is not quiet.[(triple8)] Charlie is round.[(triple9 OR ((triple7) -> rule2))] Fiona is not blue.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12)] Gary is blue.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] @1: Charlie is white.[(((triple7) -> rule1))]