Bob is not big. Bob is blue. Bob is cold. Bob is green. Bob is round. Bob is smart. Bob is not young. If someone is cold then they are round. If Bob is young and Bob is smart then Bob is not round.
Bob is not young.
@0: Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is not big.[(triple1)] Bob is not young.[(triple7)] Bob is round.[(triple5 OR ((triple3) -> rule1))] Bob is smart.[(triple6)]