Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is white. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is white. Nice, cold things are green. If Fiona is furry then Fiona is nice.
Anne is not cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple5 triple2) -> rule1))] Anne is nice.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11 OR ((triple12 triple9) -> rule1) OR ((((triple10) -> rule2) triple9) -> rule1))] Fiona is nice.[(triple12 OR ((triple10) -> rule2))] Fiona is rough.[(triple13)] Fiona is white.[(triple14)]