Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is white. Anne is young. Dave is blue. Dave is green. Dave is nice. Dave is red. Fiona is blue. Fiona is green. Fiona is round. Fiona is young. Gary is round. If Dave is white then Dave is round. If someone is young then they are red. If someone is young and green then they are round. Nice, young people are red. Young people are round. If someone is red and round then they are green. Young, round people are white. If someone is round then they are white.
Dave is not white.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple7) -> rule5)) -> rule6) OR ((((triple7) -> rule2) triple5) -> rule6) OR ((((triple3 triple7) -> rule4) triple5) -> rule6) OR ((((triple7) -> rule2) ((triple7) -> rule5)) -> rule6) OR ((((triple3 triple7) -> rule4) ((triple7) -> rule5)) -> rule6))] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple7) -> rule2) OR ((triple3 triple7) -> rule4))] Anne is round.[(triple5 OR ((triple7) -> rule5) OR ((triple7 triple2) -> rule3))] Anne is white.[(triple6 OR ((triple5) -> rule8) OR ((triple7 triple5) -> rule7) OR ((((triple7) -> rule5)) -> rule8) OR ((((triple7 triple2) -> rule3)) -> rule8) OR ((triple7 ((triple7) -> rule5)) -> rule7) OR ((triple7 ((triple7 triple2) -> rule3)) -> rule7))] Anne is young.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10)] Dave is red.[(triple11)] Fiona is blue.[(triple12)] Fiona is green.[(triple13 OR ((((triple15) -> rule2) triple14) -> rule6) OR ((((triple15) -> rule2) ((triple15) -> rule5)) -> rule6))] Fiona is round.[(triple14 OR ((triple15) -> rule5) OR ((triple15 triple13) -> rule3))] Fiona is young.[(triple15)] Gary is round.[(triple16)] @1: Fiona is red.[(((triple15) -> rule2))] Fiona is white.[(((triple14) -> rule8) OR ((triple15 triple14) -> rule7) OR ((((triple15) -> rule5)) -> rule8) OR ((((triple15 triple13) -> rule3)) -> rule8) OR ((triple15 ((triple15) -> rule5)) -> rule7) OR ((triple15 ((triple15 triple13) -> rule3)) -> rule7))] Gary is white.[(((triple16) -> rule8))]