Anne is cold. Anne is kind. Anne is nice. Anne is rough. Charlie is cold. Erin is nice. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. If Anne is nice and Anne is green then Anne is rough. All rough, green people are furry.
Anne is not rough.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Charlie is cold.[(triple5)] Erin is nice.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is round.[(triple10)]