Bob is not cold. Bob is furry. Bob is nice. Bob is red. Bob is smart. Bob is white. Bob is not young. If someone is furry and not white then they are not cold. All red people are not cold. If Bob is red then Bob is furry.
Bob is not furry.
@0: Bob is furry.[(triple2 OR ((triple4) -> rule3))] Bob is nice.[(triple3)] Bob is not cold.[(triple1 OR ((triple4) -> rule2))] Bob is not young.[(triple7)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)]