Bob is not big. Bob is cold. Bob is furry. Bob is not red. Bob is rough. Bob is round. Bob is young. Furry things are not red.
Bob is red.
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is not red.[(triple4 OR ((triple3) -> rule1))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)]