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