Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is white. Bob is young. Erin is not big. Erin is not cold. Erin is nice. Erin is quiet. Erin is white. Erin is young. If something is big and not young then it is kind. If Bob is kind and Bob is big then Bob is not nice.
Bob is big.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Erin is nice.[(triple9)] Erin is not big.[(triple7)] Erin is not cold.[(triple8)] Erin is quiet.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)]