Bob is big. Bob is nice. Bob is quiet. Charlie is furry. Charlie is nice. Erin is cold. Erin is nice. Erin is quiet. Erin is not red. Harry is cold. Harry is nice. Harry is young. If Charlie is young and Charlie is not nice then Charlie is not cold. Red people are big.
Erin is quiet.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Erin is cold.[(triple6)] Erin is nice.[(triple7)] Erin is not red.[(triple9)] Erin is quiet.[(triple8)] Harry is cold.[(triple10)] Harry is nice.[(triple11)] Harry is young.[(triple12)]