Bob is smart. Dave is nice. Gary is round. Harry is smart. All green, white things are rough. If Gary is round and Gary is green then Gary is white. If something is rough then it is smart. All green, rough things are round. All green, rough things are young. All white, smart things are nice.
Dave is nice.
@0: Bob is smart.[(triple1)] Dave is nice.[(triple2)] Gary is round.[(triple3)] Harry is smart.[(triple4)]