Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is round. Bob is white. Bob is young. All white, furry people are round. If Bob is round and Bob is young then Bob is nice. Nice people are young. If someone is round then they are nice. If Bob is round and Bob is nice then Bob is furry. If someone is furry and nice then they are white.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule4)) -> rule5) OR ((triple5 ((triple5 triple7) -> rule2)) -> rule5))] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple5) -> rule4) OR ((triple5 triple7) -> rule2) OR ((((triple6 triple2) -> rule1)) -> rule4) OR ((((triple6 triple2) -> rule1) triple7) -> rule2))] Bob is round.[(triple5 OR ((triple6 triple2) -> rule1) OR ((((triple2 triple4) -> rule6) triple2) -> rule1))] Bob is white.[(triple6 OR ((triple2 triple4) -> rule6) OR ((triple2 ((triple5) -> rule4)) -> rule6) OR ((triple2 ((triple5 triple7) -> rule2)) -> rule6) OR ((((triple5 triple4) -> rule5) triple4) -> rule6) OR ((((triple5 triple4) -> rule5) ((triple5) -> rule4)) -> rule6) OR ((((triple5 triple4) -> rule5) ((triple5 triple7) -> rule2)) -> rule6) OR ((((triple5 ((triple5) -> rule4)) -> rule5) triple4) -> rule6) OR ((((triple5 ((triple5 triple7) -> rule2)) -> rule5) triple4) -> rule6) OR ((((triple5 ((triple5) -> rule4)) -> rule5) ((triple5) -> rule4)) -> rule6) OR ((((triple5 ((triple5) -> rule4)) -> rule5) ((triple5 triple7) -> rule2)) -> rule6) OR ((((triple5 ((triple5 triple7) -> rule2)) -> rule5) ((triple5) -> rule4)) -> rule6) OR ((((triple5 ((triple5 triple7) -> rule2)) -> rule5) ((triple5 triple7) -> rule2)) -> rule6))] Bob is young.[(triple7 OR ((triple4) -> rule3) OR ((((triple5) -> rule4)) -> rule3) OR ((((((triple6 triple2) -> rule1)) -> rule4)) -> rule3))]