Anne is not blue. Anne is nice. Anne is round. Anne is smart. Charlie is blue. Charlie is not young. Fiona is not nice. If Anne is nice then Anne is round. If something is cold and not round then it is smart.
Fiona is young.
@0: Anne is nice.[(triple2)] Anne is not blue.[(triple1)] Anne is round.[(triple3 OR ((triple2) -> rule1))] Anne is smart.[(triple4)] Charlie is blue.[(triple5)] Charlie is not young.[(triple6)] Fiona is not nice.[(triple7)]