Bob is cold. Bob is kind. Bob is nice. Bob is smart. Erin is cold. Erin is smart. Fiona is blue. Green things are red. If something is red and cold then it is green.
Erin is not cold.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is smart.[(triple4)] Erin is cold.[(triple5)] Erin is smart.[(triple6)] Fiona is blue.[(triple7)]