Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is white. Charlie is furry. Charlie is quiet. Charlie is white. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Quiet, furry people are nice. Green people are smart. If someone is white and green then they are furry. All quiet people are furry. If someone is furry then they are smart. If Bob is quiet and Bob is white then Bob is green. If someone is nice then they are smart. If someone is kind and nice then they are quiet.
Bob is quiet.
@0: Bob is furry.[(triple1 OR ((triple5) -> rule4) OR ((triple6 triple2) -> rule3) OR ((((triple3 triple4) -> rule8)) -> rule4) OR ((triple6 ((triple5 triple6) -> rule6)) -> rule3) OR ((triple6 ((((triple3 triple4) -> rule8) triple6) -> rule6)) -> rule3))] Bob is green.[(triple2 OR ((triple5 triple6) -> rule6) OR ((((triple3 triple4) -> rule8) triple6) -> rule6))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple5) -> rule4)) -> rule1) OR ((triple5 ((triple6 triple2) -> rule3)) -> rule1) OR ((triple5 ((triple6 ((triple5 triple6) -> rule6)) -> rule3)) -> rule1))] Bob is quiet.[(triple5 OR ((triple3 triple4) -> rule8))] Bob is white.[(triple6)] Charlie is furry.[(triple7 OR ((triple8) -> rule4))] Charlie is quiet.[(triple8)] Charlie is white.[(triple9)] Erin is furry.[(triple10 OR ((triple14) -> rule4) OR ((((triple12 triple13) -> rule8)) -> rule4))] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is nice.[(triple13 OR ((triple14 triple10) -> rule1) OR ((triple14 ((triple14) -> rule4)) -> rule1))] Erin is quiet.[(triple14 OR ((triple12 triple13) -> rule8))] Erin is smart.[(triple15 OR ((triple10) -> rule5) OR ((triple11) -> rule2) OR ((triple13) -> rule7) OR ((((triple14) -> rule4)) -> rule5) OR ((((triple14 triple10) -> rule1)) -> rule7) OR ((((((triple12 triple13) -> rule8)) -> rule4)) -> rule5) OR ((((triple14 ((triple14) -> rule4)) -> rule1)) -> rule7))] @1: Bob is smart.[(((triple1) -> rule5) OR ((triple2) -> rule2) OR ((triple4) -> rule7) OR ((((triple5) -> rule4)) -> rule5) OR ((((triple5 triple1) -> rule1)) -> rule7) OR ((((triple5 triple6) -> rule6)) -> rule2) OR ((((triple6 triple2) -> rule3)) -> rule5) OR ((((((triple3 triple4) -> rule8)) -> rule4)) -> rule5) OR ((((triple5 ((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple5 ((triple6 triple2) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((triple5 triple6) -> rule6)) -> rule3)) -> rule5) OR ((((((triple3 triple4) -> rule8) triple6) -> rule6)) -> rule2) OR ((((triple5 ((triple6 ((triple5 triple6) -> rule6)) -> rule3)) -> rule1)) -> rule7) OR ((((triple6 ((((triple3 triple4) -> rule8) triple6) -> rule6)) -> rule3)) -> rule5))] Charlie is nice.[(((triple8 triple7) -> rule1) OR ((triple8 ((triple8) -> rule4)) -> rule1))] Charlie is smart.[(((triple7) -> rule5) OR ((((triple8) -> rule4)) -> rule5) OR ((((triple8 triple7) -> rule1)) -> rule7) OR ((((triple8 ((triple8) -> rule4)) -> rule1)) -> rule7))]