Bob is big. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. All big, smart things are red. All smart, green things are red. All green, round things are furry.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3 triple6) -> rule3))] Bob is green.[(triple3)] Bob is red.[(triple4 OR ((triple1 triple7) -> rule1) OR ((triple7 triple3) -> rule2))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)]