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