Bob is blue. Bob is furry. Bob is green. Bob is white. Charlie is blue. Charlie is furry. Dave is blue. Dave is cold. Dave is kind. Erin is cold. Erin is kind. Erin is white. All green things are furry. Blue things are cold. If something is blue and cold then it is furry. Cold, furry things are green. If something is kind and green then it is round. Green things are white.
Erin is not cold.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule1) OR ((triple1 ((triple1) -> rule2)) -> rule3))] Bob is green.[(triple3 OR ((((triple1) -> rule2) triple2) -> rule4) OR ((((triple1) -> rule2) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule4))] Bob is white.[(triple4 OR ((triple3) -> rule6) OR ((((((triple1) -> rule2) triple2) -> rule4)) -> rule6) OR ((((((triple1) -> rule2) ((triple1 ((triple1) -> rule2)) -> rule3)) -> rule4)) -> rule6))] Charlie is blue.[(triple5)] Charlie is furry.[(triple6 OR ((triple5 ((triple5) -> rule2)) -> rule3))] Dave is blue.[(triple7)] Dave is cold.[(triple8 OR ((triple7) -> rule2))] Dave is kind.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Erin is white.[(triple12)] @1: Bob is cold.[(((triple1) -> rule2))] Charlie is cold.[(((triple5) -> rule2))] Dave is furry.[(((triple7 triple8) -> rule3) OR ((triple7 ((triple7) -> rule2)) -> rule3))] @2: Charlie is green.[(((((triple5) -> rule2) triple6) -> rule4) OR ((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule4))] Dave is green.[(((triple8 ((triple7 triple8) -> rule3)) -> rule4) OR ((((triple7) -> rule2) ((triple7 triple8) -> rule3)) -> rule4) OR ((triple8 ((triple7 ((triple7) -> rule2)) -> rule3)) -> rule4) OR ((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule3)) -> rule4))] @3: Charlie is white.[(((((((triple5) -> rule2) triple6) -> rule4)) -> rule6) OR ((((((triple5) -> rule2) ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule4)) -> rule6))] Dave is round.[(((triple9 ((triple8 ((triple7 triple8) -> rule3)) -> rule4)) -> rule5) OR ((triple9 ((((triple7) -> rule2) ((triple7 triple8) -> rule3)) -> rule4)) -> rule5) OR ((triple9 ((triple8 ((triple7 ((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule5) OR ((triple9 ((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule5))] Dave is white.[(((((triple8 ((triple7 triple8) -> rule3)) -> rule4)) -> rule6) OR ((((((triple7) -> rule2) ((triple7 triple8) -> rule3)) -> rule4)) -> rule6) OR ((((triple8 ((triple7 ((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule6) OR ((((((triple7) -> rule2) ((triple7 ((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule6))]