Anne is green. Anne is not quiet. Anne is not young. Fiona is not big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is young. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is young. If something is quiet and not young then it is round. If something is round then it is green. Quiet, big things are kind.
Fiona is not round.
@0: Anne is green.[(triple1)] Anne is not quiet.[(triple2)] Anne is not young.[(triple3)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is not big.[(triple4)] Fiona is quiet.[(triple8)] Fiona is young.[(triple9)] Gary is green.[(triple10 OR ((triple14) -> rule2))] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is round.[(triple14)] Gary is young.[(triple15)]