Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is red. Bob is rough. Bob is young. If Bob is rough then Bob is red. If something is blue and rough then it is furry. If something is big then it is rough.
Bob is not young.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple2 ((triple1) -> rule3)) -> rule2))] Bob is nice.[(triple4)] Bob is red.[(triple5 OR ((triple6) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] Bob is rough.[(triple6 OR ((triple1) -> rule3))] Bob is young.[(triple7)]