Bob is cold. Bob is quiet. Bob is smart. Charlie is green. Charlie is rough. Charlie is smart. Harry is green. Harry is quiet. Harry is rough. Harry is white. If Charlie is smart and Charlie is white then Charlie is big. All big, smart things are white.
Bob is big.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Harry is green.[(triple7)] Harry is quiet.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)]