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