Bob is blue. Bob is cold. Bob is not nice. Bob is red. Bob is round. Bob is smart. Bob is not young. If Bob is cold and Bob is young then Bob is round. If something is cold and not young then it is smart. All young things are smart. All nice, smart things are not cold. If Bob is nice and Bob is not blue then Bob is red. If something is nice and not smart then it is red.
Bob is red.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not nice.[(triple3)] Bob is not young.[(triple7)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple2 triple7) -> rule2))]