Charlie is nice. Charlie is rough. Fiona is round. If Fiona is green and Fiona is nice then Fiona is blue. If something is blue and quiet then it is nice. If Fiona is rough and Fiona is blue then Fiona is young. If Charlie is blue and Charlie is nice then Charlie is green. If Fiona is round then Fiona is rough. If something is green and round then it is quiet.
Charlie is not nice.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is rough.[(((triple3) -> rule5))]