Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is young. All furry, nice people are quiet. All nice, furry people are red. Quiet people are furry. All quiet people are big. If Bob is furry and Bob is young then Bob is big. Red people are nice. Quiet, nice people are young. All big people are nice.
Bob is furry.
@0: Bob is big.[(triple1 OR ((triple5) -> rule4) OR ((triple3 triple7) -> rule5) OR ((((triple3 triple4) -> rule1)) -> rule4) OR ((triple3 ((triple5 triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule3) triple7) -> rule5) OR ((((triple5) -> rule3) ((triple5 triple4) -> rule7)) -> rule5) OR ((((triple3 ((triple6) -> rule6)) -> rule1)) -> rule4) OR ((triple3 ((triple5 ((triple6) -> rule6)) -> rule7)) -> rule5) OR ((triple3 ((((triple3 triple4) -> rule1) triple4) -> rule7)) -> rule5) OR ((triple3 ((((triple3 triple4) -> rule1) ((triple6) -> rule6)) -> rule7)) -> rule5) OR ((((triple5) -> rule3) ((triple5 ((triple6) -> rule6)) -> rule7)) -> rule5) OR ((((triple5) -> rule3) ((((triple3 triple4) -> rule1) triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule3) ((((triple3 triple4) -> rule1) ((triple6) -> rule6)) -> rule7)) -> rule5) OR ((triple3 ((((triple3 ((triple6) -> rule6)) -> rule1) triple4) -> rule7)) -> rule5) OR ((triple3 ((((triple3 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule7)) -> rule5) OR ((((triple5) -> rule3) ((((triple3 ((triple6) -> rule6)) -> rule1) triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule3) ((((triple3 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule7)) -> rule5))] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple5) -> rule3))] Bob is nice.[(triple4 OR ((triple1) -> rule8) OR ((triple6) -> rule6) OR ((((triple5) -> rule4)) -> rule8) OR ((((triple3 triple7) -> rule5)) -> rule8) OR ((((((triple5) -> rule3) triple7) -> rule5)) -> rule8))] Bob is quiet.[(triple5 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple1) -> rule8)) -> rule1) OR ((triple3 ((triple6) -> rule6)) -> rule1) OR ((triple3 ((((triple3 triple7) -> rule5)) -> rule8)) -> rule1))] Bob is red.[(triple6 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple5) -> rule3)) -> rule2) OR ((((triple1) -> rule8) triple3) -> rule2) OR ((((triple1) -> rule8) ((triple5) -> rule3)) -> rule2) OR ((((((triple5) -> rule4)) -> rule8) triple3) -> rule2) OR ((((((triple3 triple7) -> rule5)) -> rule8) triple3) -> rule2) OR ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule3)) -> rule2) OR ((((((triple3 triple7) -> rule5)) -> rule8) ((triple5) -> rule3)) -> rule2) OR ((((((((triple5) -> rule3) triple7) -> rule5)) -> rule8) triple3) -> rule2) OR ((((((((triple5) -> rule3) triple7) -> rule5)) -> rule8) ((triple5) -> rule3)) -> rule2))] Bob is young.[(triple7 OR ((triple5 triple4) -> rule7) OR ((triple5 ((triple1) -> rule8)) -> rule7) OR ((triple5 ((triple6) -> rule6)) -> rule7) OR ((((triple3 triple4) -> rule1) triple4) -> rule7) OR ((((triple3 triple4) -> rule1) ((triple1) -> rule8)) -> rule7) OR ((((triple3 triple4) -> rule1) ((triple6) -> rule6)) -> rule7) OR ((triple5 ((((triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple3 ((triple1) -> rule8)) -> rule1) triple4) -> rule7) OR ((((triple3 ((triple6) -> rule6)) -> rule1) triple4) -> rule7) OR ((((triple3 triple4) -> rule1) ((((triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple3 ((triple1) -> rule8)) -> rule1) ((triple1) -> rule8)) -> rule7) OR ((((triple3 ((triple1) -> rule8)) -> rule1) ((triple6) -> rule6)) -> rule7) OR ((((triple3 ((triple6) -> rule6)) -> rule1) ((triple1) -> rule8)) -> rule7) OR ((((triple3 ((triple6) -> rule6)) -> rule1) ((triple6) -> rule6)) -> rule7) OR ((((triple3 ((triple1) -> rule8)) -> rule1) ((((triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple3 ((triple6) -> rule6)) -> rule1) ((((triple5) -> rule4)) -> rule8)) -> rule7))]