Anne is green. Anne is nice. Anne is young. Charlie is green. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. All young, quiet things are rough. If Anne is green and Anne is smart then Anne is white. If something is quiet then it is nice.
Anne is quiet.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10 OR ((triple11) -> rule3))] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12 OR ((triple15 triple11) -> rule1))] Fiona is smart.[(triple13)] Fiona is white.[(triple14)] Fiona is young.[(triple15)]