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 not cold.
@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)]