Anne is red. Anne is smart. Anne is white. Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is white. Bob is young. Gary is blue. Gary is green. Gary is quiet. Gary is red. Gary is smart. Gary is white. Gary is young. All white people are quiet. If Bob is green and Bob is smart then Bob is blue. All smart, young people are red. If someone is blue then they are smart. If Gary is blue and Gary is smart then Gary is red. If Anne is white then Anne is blue. If Anne is smart and Anne is blue then Anne is green. Red people are blue.
Anne is not blue.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2 OR ((((triple1) -> rule8)) -> rule4) OR ((((triple3) -> rule6)) -> rule4))] Anne is white.[(triple3)] Bob is blue.[(triple4 OR ((triple7) -> rule8))] Bob is green.[(triple5)] Bob is quiet.[(triple6 OR ((triple8) -> rule1))] Bob is red.[(triple7 OR ((((triple4) -> rule4) triple9) -> rule3))] Bob is white.[(triple8)] Bob is young.[(triple9)] Gary is blue.[(triple10 OR ((triple13) -> rule8) OR ((((triple14 triple16) -> rule3)) -> rule8))] Gary is green.[(triple11)] Gary is quiet.[(triple12 OR ((triple15) -> rule1))] Gary is red.[(triple13 OR ((triple10 triple14) -> rule5) OR ((triple14 triple16) -> rule3) OR ((triple10 ((triple10) -> rule4)) -> rule5) OR ((((triple10) -> rule4) triple16) -> rule3))] Gary is smart.[(triple14 OR ((triple10) -> rule4) OR ((((triple13) -> rule8)) -> rule4))] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is blue.[(((triple1) -> rule8) OR ((triple3) -> rule6))] Anne is quiet.[(((triple3) -> rule1))] Bob is smart.[(((triple4) -> rule4) OR ((((triple7) -> rule8)) -> rule4))] @2: Anne is green.[(((triple2 ((triple1) -> rule8)) -> rule7) OR ((triple2 ((triple3) -> rule6)) -> rule7) OR ((((((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule7) OR ((((((triple1) -> rule8)) -> rule4) ((triple3) -> rule6)) -> rule7) OR ((((((triple3) -> rule6)) -> rule4) ((triple1) -> rule8)) -> rule7) OR ((((((triple3) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule7))]