Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is rough. Bob is smart. If Bob is rough and Bob is green then Bob is red. If someone is kind then they are cold.
Bob is cold.
@0: Bob is cold.[(triple1 OR ((triple4) -> rule2))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5 OR ((triple6 triple3) -> rule1))] Bob is rough.[(triple6)] Bob is smart.[(triple7)]