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.
Fiona is 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)]