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