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