Bob is not blue. Bob is smart. Charlie is big. Charlie is not blue. Charlie is not furry. Charlie is kind. Charlie is red. Charlie is round. Erin is big. Erin is kind. Harry is big. Harry is furry. Harry is kind. Harry is round. Harry is smart. If something is furry and not smart then it is big. Round, blue things are not kind. If something is blue then it is not round.
Bob is not big.
@0: Bob is not blue.[(triple1)] Bob is smart.[(triple2)] Charlie is big.[(triple3)] Charlie is kind.[(triple6)] Charlie is not blue.[(triple4)] Charlie is not furry.[(triple5)] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Erin is big.[(triple9)] Erin is kind.[(triple10)] Harry is big.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)]