Charlie is blue. Charlie is green. Charlie is not nice. Charlie is smart. Erin is green. Erin is kind. Erin is nice. Erin is not rough. Fiona is green. Fiona is kind. Fiona is nice. Fiona is not smart. Nice people are cold.
Charlie is not cold.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is not nice.[(triple3)] Charlie is smart.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is not rough.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is not smart.[(triple12)] @1: Erin is cold.[(((triple7) -> rule1))] Fiona is cold.[(((triple11) -> rule1))]