Bob is round. Charlie is quiet. Harry is quiet. All rough, kind things are smart. If something is rough and kind then it is round. If Bob is rough and Bob is big then Bob is smart. If something is big and kind then it is round. Kind things are quiet. All blue things are kind.
Bob is big.
@0: Bob is round.[(triple1)] Charlie is quiet.[(triple2)] Harry is quiet.[(triple3)]