Bob is big. Bob is cold. Bob is nice. Bob is red. Bob is round. Bob is white. Charlie is cold. Charlie is nice. Charlie is round. Charlie is young. Erin is red. Erin is white. Harry is big. Harry is cold. Harry is nice. Harry is white. If Erin is nice then Erin is round.
Erin is not red.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is nice.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Erin is red.[(triple11)] Erin is white.[(triple12)] Harry is big.[(triple13)] Harry is cold.[(triple14)] Harry is nice.[(triple15)] Harry is white.[(triple16)]