Anne is red. Anne is smart. Anne is white. Anne is young. Fiona is kind. Fiona is quiet. Fiona is white. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is young. If Fiona is smart then Fiona is green. If someone is white and kind then they are smart. If someone is young then they are smart. All quiet, young people are white. All red people are kind. If someone is green and quiet then they are red.
Gary is not white.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2 OR ((triple4) -> rule3) OR ((triple3 ((triple1) -> rule5)) -> rule2))] Anne is white.[(triple3)] Anne is young.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9 OR ((triple10) -> rule5))] Gary is red.[(triple10)] Gary is smart.[(triple11 OR ((triple12) -> rule3))] Gary is young.[(triple12)] @1: Anne is kind.[(((triple1) -> rule5))] Fiona is smart.[(((triple7 triple5) -> rule2))] @2: Fiona is green.[(((((triple7 triple5) -> rule2)) -> rule1))] @3: Fiona is red.[(((((((triple7 triple5) -> rule2)) -> rule1) triple6) -> rule6))]