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