Fiona is nice. Fiona is white. Fiona is young. Nice people are big. If Fiona is big and Fiona is not young then Fiona is nice. If someone is green and not big then they are not white. If Fiona is not red and Fiona is not big then Fiona is green. If Fiona is red and Fiona is not big then Fiona is green. If Fiona is young then Fiona is green.
Fiona is not white.
@0: Fiona is nice.[(triple1)] Fiona is white.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is big.[(((triple1) -> rule1))] Fiona is green.[(((triple3) -> rule6))]