Anne is red. Anne is smart. Dave is rough. Dave is white. Gary is big. Gary is red. Gary is white. All round people are white. Red people are round. If someone is red and big then they are rough. If someone is round and smart then they are red. Rough, white people are red. If someone is rough and round then they are blue. If Dave is big and Dave is rough then Dave is blue. If someone is round then they are white.
Anne is not white.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Gary is big.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7 OR ((((triple6) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule8))] @1: Anne is round.[(((triple1) -> rule2))] Dave is red.[(((triple3 triple4) -> rule5))] Gary is rough.[(((triple6 triple5) -> rule3))] Gary is round.[(((triple6) -> rule2))] @2: Anne is white.[(((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule2)) -> rule8))] Dave is round.[(((((triple3 triple4) -> rule5)) -> rule2))] Gary is blue.[(((((triple6 triple5) -> rule3) ((triple6) -> rule2)) -> rule6))] @3: Dave is blue.[(((triple3 ((((triple3 triple4) -> rule5)) -> rule2)) -> rule6))]