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