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