Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is white. Anne is young. Erin is cold. Erin is white. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is rough. Fiona is not white. Fiona is young. If Anne is furry then Anne is not rough. If someone is furry then they are rough. If someone is white and not cold then they are red.
Anne is rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Erin is cold.[(triple7)] Erin is white.[(triple8)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is not cold.[(triple9)] Fiona is not white.[(triple14)] Fiona is red.[(triple12)] Fiona is rough.[(triple13 OR ((triple10) -> rule2))] Fiona is young.[(triple15)]