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