Bob is nice. Bob is smart. Bob is young. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is smart. Dave is young. Erin is young. All young, blue people are nice. If someone is nice then they are red. Red, green people are furry. Nice people are green. If Dave is young and Dave is smart then Dave is blue. If someone is red then they are green. If someone is smart and green then they are nice. Smart, furry people are blue.
Bob is nice.
@0: Bob is nice.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Dave is blue.[(triple4 OR ((triple8 triple5) -> rule8) OR ((triple9 triple8) -> rule5) OR ((triple8 ((triple7 triple6) -> rule3)) -> rule8) OR ((triple8 ((triple7 ((triple7) -> rule6)) -> rule3)) -> rule8) OR ((triple8 ((((((triple8 triple6) -> rule7)) -> rule2) triple6) -> rule3)) -> rule8) OR ((triple8 ((((((triple8 triple6) -> rule7)) -> rule2) ((triple7) -> rule6)) -> rule3)) -> rule8))] Dave is furry.[(triple5 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple7) -> rule6)) -> rule3) OR ((triple7 ((((triple9 triple4) -> rule1)) -> rule4)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) triple6) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) triple6) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((triple7) -> rule6)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((triple7) -> rule6)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((((triple9 triple4) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((((triple9 triple4) -> rule1)) -> rule4)) -> rule3) OR ((triple7 ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((triple7 ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) triple6) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((triple7) -> rule6)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((((triple9 triple4) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4)) -> rule3) OR ((triple7 ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3))] Dave is green.[(triple6 OR ((triple7) -> rule6) OR ((((triple9 triple4) -> rule1)) -> rule4) OR ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6) OR ((((triple9 ((triple8 triple5) -> rule8)) -> rule1)) -> rule4) OR ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4) OR ((((((triple9 ((triple8 triple5) -> rule8)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6))] Dave is red.[(triple7 OR ((((triple8 triple6) -> rule7)) -> rule2) OR ((((triple9 triple4) -> rule1)) -> rule2) OR ((((triple9 ((triple8 triple5) -> rule8)) -> rule1)) -> rule2) OR ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2))] Dave is smart.[(triple8)] Dave is young.[(triple9)] Erin is young.[(triple10)] @1: Bob is green.[(((triple1) -> rule4) OR ((((triple1) -> rule2)) -> rule6))] Bob is red.[(((triple1) -> rule2))] Dave is nice.[(((triple8 triple6) -> rule7) OR ((triple9 triple4) -> rule1) OR ((triple8 ((triple7) -> rule6)) -> rule7) OR ((triple9 ((triple8 triple5) -> rule8)) -> rule1) OR ((triple9 ((triple9 triple8) -> rule5)) -> rule1) OR ((triple9 ((triple8 ((triple7 triple6) -> rule3)) -> rule8)) -> rule1) OR ((triple9 ((triple8 ((triple7 ((triple7) -> rule6)) -> rule3)) -> rule8)) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule2) ((triple1) -> rule4)) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule6)) -> rule3))] @3: Bob is blue.[(((triple2 ((((triple1) -> rule2) ((triple1) -> rule4)) -> rule3)) -> rule8) OR ((triple2 ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule6)) -> rule3)) -> rule8))]