Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is young. Blue people are green. If someone is blue and young then they are rough. If someone is cold then they are furry.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule3))] Bob is green.[(triple4 OR ((triple1) -> rule1))] Bob is nice.[(triple5)] Bob is rough.[(triple6 OR ((triple1 triple7) -> rule2))] Bob is young.[(triple7)]