Bob is big. Bob is kind. Bob is nice. Bob is not quiet. Bob is not red. Bob is rough. Bob is young. Harry is not big. Harry is not nice. Harry is red. If Bob is not big and Bob is not young then Bob is nice.
Harry is not young.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is not quiet.[(triple4)] Bob is not red.[(triple5)] Bob is rough.[(triple6)] Bob is young.[(triple7)] Harry is not big.[(triple8)] Harry is not nice.[(triple9)] Harry is red.[(triple10)]