Anne is round. Erin is not big. Fiona is round. Harry is young. All white things are nice. If something is big and not young then it is not nice. If Erin is not big then Erin is round. If Fiona is white and Fiona is young then Fiona is not nice. If Harry is young and Harry is cold then Harry is nice. If Fiona is young and Fiona is round then Fiona is green. If Erin is cold then Erin is not white. If something is nice and not cold then it is not round.
Harry is young.
@0: Anne is round.[(triple1)] Erin is not big.[(triple2)] Fiona is round.[(triple3)] Harry is young.[(triple4)] @1: Erin is round.[(((triple2) -> rule3))]