Anne is kind. Fiona is blue. Fiona is nice. Fiona is not round. Fiona is young. Gary is blue. Gary is nice. Gary is quiet. Harry is blue. Harry is round. If something is blue then it is white. Nice, quiet things are white. If something is blue then it is white. If something is round then it is white. All white, quiet things are kind. If Gary is kind then Gary is not young.
Anne is not quiet.
@0: Anne is kind.[(triple1)] Fiona is blue.[(triple2)] Fiona is nice.[(triple3)] Fiona is not round.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Harry is blue.[(triple9)] Harry is round.[(triple10)] @1: Fiona is white.[(((triple2) -> rule1) OR ((triple2) -> rule3))] Gary is white.[(((triple6) -> rule1) OR ((triple6) -> rule3) OR ((triple7 triple8) -> rule2))] Harry is white.[(((triple10) -> rule4) OR ((triple9) -> rule1) OR ((triple9) -> rule3))] @2: Gary is kind.[(((((triple6) -> rule1) triple8) -> rule5) OR ((((triple6) -> rule3) triple8) -> rule5) OR ((((triple7 triple8) -> rule2) triple8) -> rule5))] @3: Gary is not young.[(((((((triple6) -> rule1) triple8) -> rule5)) -> rule6) OR ((((((triple6) -> rule3) triple8) -> rule5)) -> rule6) OR ((((((triple7 triple8) -> rule2) triple8) -> rule5)) -> rule6))]