Fiona is not big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Fiona is not young. If something is blue then it is green.
Fiona is not young.
@0: Fiona is blue.[(triple2)] Fiona is green.[(triple3 OR ((triple2) -> rule1))] Fiona is kind.[(triple4)] Fiona is not big.[(triple1)] Fiona is not young.[(triple7)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)]