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