Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is not white. Bob is young. If Bob is blue and Bob is furry then Bob is not white. All blue, furry people are green. If Bob is young then Bob is green.
Bob is not young.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5 OR ((triple7) -> rule3) OR ((triple2 triple4) -> rule2))] Bob is not white.[(triple6 OR ((triple2 triple4) -> rule1))] Bob is young.[(triple7)]