Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is not rough. Fiona is smart. Fiona is young. If Fiona is green and Fiona is not young then Fiona is not big. If Fiona is smart then Fiona is big.
Fiona is not smart.
@0: Fiona is big.[(triple1 OR ((triple6) -> rule2))] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is not rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]