Fiona is big. Fiona is cold. Fiona is green. Fiona is not quiet. Fiona is red. Fiona is not rough. Fiona is young. Quiet people are not rough. If Fiona is not big then Fiona is red. If someone is big then they are green.
Fiona is not red.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3 OR ((triple1) -> rule3))] Fiona is not quiet.[(triple4)] Fiona is not rough.[(triple6)] Fiona is red.[(triple5)] Fiona is young.[(triple7)]