Anne is white. Charlie is white. Fiona is big. Fiona is not blue. Fiona is red. Fiona is round. Harry is white. Round people are big. If someone is big and not young then they are not red.
Harry is not big.
@0: Anne is white.[(triple1)] Charlie is white.[(triple2)] Fiona is big.[(triple3 OR ((triple6) -> rule1))] Fiona is not blue.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Harry is white.[(triple7)]