Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is smart. Bob is young. Smart, green people are furry. If someone is smart then they are nice. Furry, nice people are young.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple6 triple3) -> rule1))] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple6) -> rule2))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple2 triple4) -> rule3) OR ((triple2 ((triple6) -> rule2)) -> rule3) OR ((((triple6 triple3) -> rule1) triple4) -> rule3) OR ((((triple6 triple3) -> rule1) ((triple6) -> rule2)) -> rule3))]