Anne is quiet. Charlie is not nice. Charlie is round. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is white. Gary is blue. Gary is smart. Gary is white. If someone is round then they are blue. If someone is white and smart then they are blue. If someone is round then they are white. If someone is kind and smart then they are white. White, round people are smart. All blue, quiet people are smart. All smart people are quiet. If Gary is not quiet then Gary is not nice.
Fiona is round.
@0: Anne is quiet.[(triple1)] Charlie is not nice.[(triple2)] Charlie is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is white.[(triple7)] Gary is blue.[(triple8 OR ((triple10 triple9) -> rule2))] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Charlie is blue.[(((triple3) -> rule1) OR ((((triple3) -> rule3) ((((triple3) -> rule3) triple3) -> rule5)) -> rule2))] Charlie is white.[(((triple3) -> rule3))] Gary is quiet.[(((triple9) -> rule7))] @2: Charlie is smart.[(((((triple3) -> rule3) triple3) -> rule5))] @3: Charlie is quiet.[(((((((triple3) -> rule3) triple3) -> rule5)) -> rule7))]