Fiona is blue. Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. If something is smart and blue then it is rough.
Fiona is rough.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is nice.[(triple3)] Fiona is red.[(triple4)] Fiona is rough.[(triple5 OR ((triple6 triple1) -> rule1))] Fiona is smart.[(triple6)] Fiona is white.[(triple7)]