Bob is quiet. Charlie is blue. Charlie is quiet. Charlie is red. Charlie is not smart. Gary is big. Gary is quiet. Gary is red. Gary is smart. Harry is not big. Harry is quiet. Harry is white. If someone is smart and white then they are not blue.
Charlie is white.
@0: Bob is quiet.[(triple1)] Charlie is blue.[(triple2)] Charlie is not smart.[(triple5)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Gary is big.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9)] Harry is not big.[(triple10)] Harry is quiet.[(triple11)] Harry is white.[(triple12)]