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