Bob is round. Bob is smart. Bob is white. Bob is young. Erin is round. Erin is smart. Erin is not young. Gary is cold. Gary is rough. Gary is smart. Harry is cold. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. If Bob is quiet and Bob is not white then Bob is smart.
Harry is not quiet.
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Erin is not young.[(triple7)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Gary is cold.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] Harry is cold.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)]