Bob is not cold. Bob is green. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is rough. Erin is furry. Erin is not green. Erin is white. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is not nice. Fiona is not rough. Fiona is not white. If someone is furry and cold then they are green.
Bob is not cold.
@0: Bob is green.[(triple2)] Bob is not cold.[(triple1)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Erin is furry.[(triple7)] Erin is not green.[(triple8)] Erin is white.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is not furry.[(triple12)] Fiona is not nice.[(triple13)] Fiona is not rough.[(triple14)] Fiona is not white.[(triple15)] @1: Charlie is green.[(((triple4 triple3) -> rule1))]