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