Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is white. Anne is young. If someone is white and not round then they are kind. If someone is blue and not white then they are not young. If someone is kind then they are young. If someone is kind then they are young. All white people are quiet. If Anne is not white then Anne is not young. If someone is kind then they are blue. If someone is nice and not round then they are blue.
Anne is white.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule7))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple6) -> rule5))] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple2) -> rule3) OR ((triple2) -> rule4))]