Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is white. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is red. Blue, furry people are red. Furry, green people are white. All blue, cold people are green. Blue, cold people are red. If Bob is cold and Bob is blue then Bob is furry. All blue people are furry. All blue people are cold. All blue people are red.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule7))] Bob is furry.[(triple3 OR ((triple1) -> rule6) OR ((triple2 triple1) -> rule5) OR ((((triple1) -> rule7) triple1) -> rule5))] Bob is green.[(triple4 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple1) -> rule7)) -> rule3))] Bob is kind.[(triple5)] Bob is red.[(triple6 OR ((triple1) -> rule8) OR ((triple1 triple2) -> rule4) OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule6)) -> rule1) OR ((triple1 ((triple1) -> rule7)) -> rule4) OR ((triple1 ((triple2 triple1) -> rule5)) -> rule1) OR ((triple1 ((((triple1) -> rule7) triple1) -> rule5)) -> rule1))] Bob is white.[(triple7 OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple1 triple2) -> rule3)) -> rule2) OR ((((triple1) -> rule6) triple4) -> rule2) OR ((((triple2 triple1) -> rule5) triple4) -> rule2) OR ((((triple1) -> rule6) ((triple1 triple2) -> rule3)) -> rule2) OR ((((triple2 triple1) -> rule5) ((triple1 triple2) -> rule3)) -> rule2) OR ((triple3 ((triple1 ((triple1) -> rule7)) -> rule3)) -> rule2) OR ((((((triple1) -> rule7) triple1) -> rule5) triple4) -> rule2) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule3)) -> rule2) OR ((((triple2 triple1) -> rule5) ((triple1 ((triple1) -> rule7)) -> rule3)) -> rule2) OR ((((((triple1) -> rule7) triple1) -> rule5) ((triple1 triple2) -> rule3)) -> rule2) OR ((((((triple1) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule7)) -> rule3)) -> rule2))] Erin is blue.[(triple8)] Erin is cold.[(triple9 OR ((triple8) -> rule7))] Erin is furry.[(triple10 OR ((triple8) -> rule6))] Erin is kind.[(triple11)] Erin is red.[(triple12 OR ((triple8) -> rule8) OR ((triple8 triple10) -> rule1) OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple8) -> rule6)) -> rule1) OR ((triple8 ((triple8) -> rule7)) -> rule4))] @1: Erin is green.[(((triple8 triple9) -> rule3) OR ((triple8 ((triple8) -> rule7)) -> rule3))] @2: Erin is white.[(((triple10 ((triple8 triple9) -> rule3)) -> rule2) OR ((((triple8) -> rule6) ((triple8 triple9) -> rule3)) -> rule2) OR ((triple10 ((triple8 ((triple8) -> rule7)) -> rule3)) -> rule2) OR ((((triple8) -> rule6) ((triple8 ((triple8) -> rule7)) -> rule3)) -> rule2))]