Bob is red. Bob is rough. Bob is round. All red, big things are cold. All red, cold things are round. Big, red things are smart. Round, big things are cold. Quiet things are cold. If something is quiet and round then it is cold. If something is quiet and red then it is smart. All quiet, round things are smart.
Bob is quiet.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)]