Bob is quiet. Bob is not smart. Bob is young. Charlie is not big. Charlie is blue. Charlie is red. Charlie is not rough. Charlie is smart. Charlie is not young. Fiona is not big. Fiona is not red. Fiona is rough. Harry is blue. Harry is not quiet. Harry is rough. Harry is young. Quiet, smart things are big. If Charlie is big then Charlie is not red.
Fiona is not rough.
@0: Bob is not smart.[(triple2)] Bob is quiet.[(triple1)] Bob is young.[(triple3)] Charlie is blue.[(triple5)] Charlie is not big.[(triple4)] Charlie is not rough.[(triple7)] Charlie is not young.[(triple9)] Charlie is red.[(triple6)] Charlie is smart.[(triple8)] Fiona is not big.[(triple10)] Fiona is not red.[(triple11)] Fiona is rough.[(triple12)] Harry is blue.[(triple13)] Harry is not quiet.[(triple14)] Harry is rough.[(triple15)] Harry is young.[(triple16)]