Anne is red. Anne is white. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Gary is kind. Gary is not nice. Gary is not red. Gary is not white. If someone is red and not green then they are not white. If someone is round and not kind then they are white. If someone is kind and not green then they are white. If someone is red then they are young. If Fiona is round and Fiona is green then Fiona is white. If Gary is round and Gary is kind then Gary is young. If Gary is red and Gary is round then Gary is young. If Gary is round and Gary is not white then Gary is young.
Anne is not white.
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6)] Gary is kind.[(triple7)] Gary is not nice.[(triple8)] Gary is not red.[(triple9)] Gary is not white.[(triple10)] @1: Anne is young.[(((triple1) -> rule4))] Fiona is white.[(((triple6 triple3) -> rule5))]