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