Bob is blue. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is not round. Bob is young. If Bob is rough then Bob is green. If Bob is not green then Bob is red.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple5) -> rule1))] Bob is not round.[(triple6)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is young.[(triple7)]