Bob is nice. Charlie is big. Charlie is not red. Charlie is young. Fiona is big. Fiona is nice. Fiona is not quiet. Fiona is smart. Fiona is young. Harry is big. Harry is not nice. Harry is round. All quiet people are nice.
Harry is not nice.
@0: Bob is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is not red.[(triple3)] Charlie is young.[(triple4)] Fiona is big.[(triple5)] Fiona is nice.[(triple6)] Fiona is not quiet.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Harry is big.[(triple10)] Harry is not nice.[(triple11)] Harry is round.[(triple12)]