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