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