Anne is red. Anne is white. Charlie is nice. Charlie is red. Fiona is blue. Fiona is furry. Fiona is red. Fiona is white. Fiona is young. Gary is not nice. Gary is red. Gary is white. If someone is kind and blue then they are young. If Charlie is not kind then Charlie is not young. If Anne is red then Anne is kind. If someone is kind and red then they are blue. Red people are white. Young people are nice.
Fiona is not white.
@0: Anne is red.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule5))] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] Fiona is white.[(triple8 OR ((triple7) -> rule5))] Fiona is young.[(triple9)] Gary is not nice.[(triple10)] Gary is red.[(triple11)] Gary is white.[(triple12 OR ((triple11) -> rule5))] @1: Anne is kind.[(((triple1) -> rule3))] Charlie is white.[(((triple4) -> rule5))] Fiona is nice.[(((triple9) -> rule6))] @2: Anne is blue.[(((((triple1) -> rule3) triple1) -> rule4))] @3: Anne is young.[(((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule4)) -> rule1))] @4: Anne is nice.[(((((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule4)) -> rule1)) -> rule6))]