Fiona is big. Fiona is furry. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. If something is young and red then it is smart. All rough, young things are round.
Fiona is not smart.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5 OR ((triple4 triple7) -> rule2))] Fiona is smart.[(triple6 OR ((triple7 triple3) -> rule1))] Fiona is young.[(triple7)]