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