Anne is big. Bob is smart. Dave is big. Gary is kind. Young things are smart. If Bob is rough and Bob is cold then Bob is young. All smart, young things are rough.
Bob is not rough.
@0: Anne is big.[(triple1)] Bob is smart.[(triple2)] Dave is big.[(triple3)] Gary is kind.[(triple4)]