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