Anne is nice. Anne is rough. Anne is white. Fiona is cold. Fiona is nice. Fiona is not rough. Fiona is smart. If Anne is green and Anne is young then Anne is cold. If Anne is green then Anne is cold. White, cold things are not young. If something is nice and not white then it is smart. If something is white and not nice then it is not cold. Nice, white things are rough. If something is white and not cold then it is rough. If something is smart and not green then it is not rough.
Anne is young.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2 OR ((triple1 triple3) -> rule6))] Anne is white.[(triple3)] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Fiona is not rough.[(triple6)] Fiona is smart.[(triple7)]