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