Anne is blue. Anne is cold. Anne is white. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is white. Bob is young. Charlie is cold. Charlie is nice. Erin is green. Erin is quiet. Erin is young. Young, quiet things are white. Cold, young things are quiet. If something is green then it is blue.
Charlie is not white.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4 OR ((triple6) -> rule3))] Bob is cold.[(triple5)] Bob is green.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8 OR ((triple5 triple10) -> rule2))] Bob is white.[(triple9 OR ((triple10 triple8) -> rule1) OR ((triple10 ((triple5 triple10) -> rule2)) -> rule1))] Bob is young.[(triple10)] Charlie is cold.[(triple11)] Charlie is nice.[(triple12)] Erin is green.[(triple13)] Erin is quiet.[(triple14)] Erin is young.[(triple15)] @1: Erin is blue.[(((triple13) -> rule3))] Erin is white.[(((triple15 triple14) -> rule1))]