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