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