Anne is blue. Anne is cold. Anne is nice. Anne is rough. Anne is young. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Fiona is cold. Fiona is nice. Fiona is young. If something is kind and round then it is rough. If something is kind and blue then it is rough.
Fiona is not young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9)] Charlie is rough.[(triple10 OR ((triple8 triple11) -> rule1) OR ((triple8 triple6) -> rule2))] Charlie is round.[(triple11)] Charlie is young.[(triple12)] Fiona is cold.[(triple13)] Fiona is nice.[(triple14)] Fiona is young.[(triple15)]