Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is smart. Fiona is young. If Fiona is kind and Fiona is young then Fiona is big. All smart, red people are not quiet.
Fiona is red.
@0: Fiona is big.[(triple1 OR ((triple3 triple7) -> rule1))] Fiona is blue.[(triple2)] Fiona is kind.[(triple3)] Fiona is not red.[(triple5)] Fiona is quiet.[(triple4)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]