Bob is big. Charlie is furry. Charlie is quiet. Erin is green. Erin is nice. Erin is quiet. Erin is white. All smart things are green. If Charlie is smart then Charlie is nice. If Bob is green and Bob is quiet then Bob is nice.
Charlie is not nice.
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)]