Bob is cold. Bob is furry. Bob is not green. Bob is kind. Bob is nice. Bob is rough. Bob is smart. All kind people are nice.
Bob is nice.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple4) -> rule1))] Bob is not green.[(triple3)] Bob is rough.[(triple6)] Bob is smart.[(triple7)]