Bob is not furry. Bob is nice. Bob is smart. Bob is young. Charlie is cold. Charlie is furry. Charlie is round. Erin is cold. Erin is round. Harry is furry. Harry is round. Harry is not smart. Young, round things are red. If Bob is round then Bob is young.
Charlie is not round.
@0: Bob is nice.[(triple2)] Bob is not furry.[(triple1)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is round.[(triple7)] Erin is cold.[(triple8)] Erin is round.[(triple9)] Harry is furry.[(triple10)] Harry is not smart.[(triple12)] Harry is round.[(triple11)]