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