Bob is big. Bob is blue. Bob is cold. Bob is not furry. Bob is green. Bob is nice. Bob is red. If someone is green and nice then they are not furry. If someone is cold and not big then they are green.
Bob is not furry.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple5)] Bob is nice.[(triple6)] Bob is not furry.[(triple4 OR ((triple5 triple6) -> rule1))] Bob is red.[(triple7)]