Bob is big. Bob is cold. Bob is nice. Bob is rough. Bob is round. Bob is not smart. Bob is not young. Young things are smart. If Bob is young and Bob is cold then Bob is smart.
Bob is not rough.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is not smart.[(triple6)] Bob is not young.[(triple7)] Bob is rough.[(triple4)] Bob is round.[(triple5)]