Anne is blue. Anne is not red. Anne is round. Bob is not blue. Bob is cold. Dave is not cold. Dave is green. Dave is not red. Dave is young. Erin is blue. Erin is cold. Erin is red. Erin is round. Erin is smart. Erin is not young. All blue, green things are smart. If something is green and not young then it is smart. Green things are blue. All red, round things are blue. If something is smart and red then it is blue. If something is round then it is blue. If something is cold and not young then it is round. If something is cold and round then it is green.
Erin is not young.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule6))] Anne is not red.[(triple2)] Anne is round.[(triple3)] Bob is cold.[(triple5)] Bob is not blue.[(triple4)] Dave is green.[(triple7)] Dave is not cold.[(triple6)] Dave is not red.[(triple8)] Dave is young.[(triple9)] Erin is blue.[(triple10 OR ((triple13) -> rule6) OR ((triple12 triple13) -> rule4) OR ((triple14 triple12) -> rule5) OR ((((triple11 triple13) -> rule8)) -> rule3) OR ((((triple11 triple15) -> rule7)) -> rule6) OR ((triple12 ((triple11 triple15) -> rule7)) -> rule4) OR ((((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule3) OR ((((((triple11 triple13) -> rule8) triple15) -> rule2) triple12) -> rule5) OR ((((((triple11 ((triple11 triple15) -> rule7)) -> rule8) triple15) -> rule2) triple12) -> rule5))] Erin is cold.[(triple11)] Erin is not young.[(triple15)] Erin is red.[(triple12)] Erin is round.[(triple13 OR ((triple11 triple15) -> rule7))] Erin is smart.[(triple14 OR ((triple10 ((triple11 triple13) -> rule8)) -> rule1) OR ((((triple11 triple13) -> rule8) triple15) -> rule2) OR ((((triple13) -> rule6) ((triple11 triple13) -> rule8)) -> rule1) OR ((((triple12 triple13) -> rule4) ((triple11 triple13) -> rule8)) -> rule1) OR ((triple10 ((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule1) OR ((((triple11 ((triple11 triple15) -> rule7)) -> rule8) triple15) -> rule2) OR ((((triple13) -> rule6) ((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11 triple13) -> rule8)) -> rule3) ((triple11 triple13) -> rule8)) -> rule1) OR ((((((triple11 triple15) -> rule7)) -> rule6) ((triple11 triple13) -> rule8)) -> rule1) OR ((((triple12 triple13) -> rule4) ((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule1) OR ((((triple12 ((triple11 triple15) -> rule7)) -> rule4) ((triple11 triple13) -> rule8)) -> rule1) OR ((((((triple11 triple13) -> rule8)) -> rule3) ((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11 triple15) -> rule7)) -> rule6) ((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule1) OR ((((triple12 ((triple11 triple15) -> rule7)) -> rule4) ((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule1) OR ((((((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule3) ((triple11 triple13) -> rule8)) -> rule1) OR ((((((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule3) ((triple11 ((triple11 triple15) -> rule7)) -> rule8)) -> rule1))] @1: Dave is blue.[(((triple7) -> rule3))] Erin is green.[(((triple11 triple13) -> rule8) OR ((triple11 ((triple11 triple15) -> rule7)) -> rule8))] @2: Dave is smart.[(((((triple7) -> rule3) triple7) -> rule1))]