Charlie is big. Charlie is not blue. Charlie is kind. Charlie is not nice. Charlie is not round. Charlie is not smart. Fiona is round. Fiona is smart. Fiona is white. Gary is not big. Gary is round. Gary is white. Harry is big. Harry is kind. Harry is not smart. Harry is not white. If Gary is big then Gary is kind. Big, smart things are not white.
Harry is round.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple3)] Charlie is not blue.[(triple2)] Charlie is not nice.[(triple4)] Charlie is not round.[(triple5)] Charlie is not smart.[(triple6)] Fiona is round.[(triple7)] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Gary is not big.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] Harry is big.[(triple13)] Harry is kind.[(triple14)] Harry is not smart.[(triple15)] Harry is not white.[(triple16)]