Bob is big. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is not smart. Bob is not white. Erin is big. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is not smart. Erin is white. If someone is white and not red then they are green. If someone is quiet and not green then they are smart.
Erin is white.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is not smart.[(triple6)] Bob is not white.[(triple7)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Erin is big.[(triple8)] Erin is green.[(triple9)] Erin is not smart.[(triple13)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple14)]