Fiona is big. Fiona is rough. Fiona is round. If Fiona is round then Fiona is rough. If Fiona is smart then Fiona is round.
Fiona is not rough.
@0: Fiona is big.[(triple1)] Fiona is rough.[(triple2 OR ((triple3) -> rule1))] Fiona is round.[(triple3)]