Fiona is big. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is not white. Fiona is not young. All green, young people are not white. If someone is big and not young then they are round. If Fiona is not white and Fiona is not rough then Fiona is round.
Fiona is not rough.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is not white.[(triple6)] Fiona is not young.[(triple7)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5 OR ((triple1 triple7) -> rule2))]