Anne is green. Bob is blue. Bob is white. Dave is blue. Erin is blue. Erin is furry. Erin is white. All white, green people are nice. If someone is big then they are blue. All blue people are kind. All green, blue people are big. All green, white people are kind. All kind, blue people are furry. All kind, furry people are green. If someone is furry then they are big.
Anne is green.
@0: Anne is green.[(triple1)] Bob is blue.[(triple2)] Bob is white.[(triple3)] Dave is blue.[(triple4)] Erin is blue.[(triple5 OR ((((triple6) -> rule8)) -> rule2))] Erin is furry.[(triple6 OR ((((triple5) -> rule3) triple5) -> rule6))] Erin is white.[(triple7)] @1: Bob is kind.[(((triple2) -> rule3))] Dave is kind.[(((triple4) -> rule3))] Erin is big.[(((triple6) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule6)) -> rule8) OR ((((((triple5) -> rule3) triple6) -> rule7) triple5) -> rule4) OR ((((((triple5) -> rule3) ((((triple5) -> rule3) triple5) -> rule6)) -> rule7) triple5) -> rule4))] Erin is kind.[(((triple5) -> rule3) OR ((((((triple6) -> rule8)) -> rule2)) -> rule3))] @2: Bob is furry.[(((((triple2) -> rule3) triple2) -> rule6))] Dave is furry.[(((((triple4) -> rule3) triple4) -> rule6))] Erin is green.[(((((triple5) -> rule3) triple6) -> rule7) OR ((((triple5) -> rule3) ((((triple5) -> rule3) triple5) -> rule6)) -> rule7) OR ((((((((triple6) -> rule8)) -> rule2)) -> rule3) triple6) -> rule7) OR ((((((((triple6) -> rule8)) -> rule2)) -> rule3) ((((triple5) -> rule3) triple5) -> rule6)) -> rule7))] @3: Bob is big.[(((((((triple2) -> rule3) triple2) -> rule6)) -> rule8) OR ((((((triple2) -> rule3) ((((triple2) -> rule3) triple2) -> rule6)) -> rule7) triple2) -> rule4))] Bob is green.[(((((triple2) -> rule3) ((((triple2) -> rule3) triple2) -> rule6)) -> rule7))] Dave is big.[(((((((triple4) -> rule3) triple4) -> rule6)) -> rule8) OR ((((((triple4) -> rule3) ((((triple4) -> rule3) triple4) -> rule6)) -> rule7) triple4) -> rule4))] Dave is green.[(((((triple4) -> rule3) ((((triple4) -> rule3) triple4) -> rule6)) -> rule7))] Erin is nice.[(((triple7 ((((triple5) -> rule3) triple6) -> rule7)) -> rule1) OR ((triple7 ((((triple5) -> rule3) ((((triple5) -> rule3) triple5) -> rule6)) -> rule7)) -> rule1) OR ((triple7 ((((((((triple6) -> rule8)) -> rule2)) -> rule3) triple6) -> rule7)) -> rule1) OR ((triple7 ((((((((triple6) -> rule8)) -> rule2)) -> rule3) ((((triple5) -> rule3) triple5) -> rule6)) -> rule7)) -> rule1))] @4: Bob is nice.[(((triple3 ((((triple2) -> rule3) ((((triple2) -> rule3) triple2) -> rule6)) -> rule7)) -> rule1))]