Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is rough. Bob is round. Bob is smart. All smart, nice things are cold. Blue, round things are rough.
Bob is smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple7 triple4) -> rule1))] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is rough.[(triple5 OR ((triple1 triple6) -> rule2))] Bob is round.[(triple6)] Bob is smart.[(triple7)]