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