Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. If someone is green and kind then they are rough.
Fiona is not red.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple2 triple3) -> rule1))] Fiona is round.[(triple7)]