Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Quiet people are nice. If someone is young then they are nice.
Fiona is not big.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4 OR ((triple5) -> rule1) OR ((triple7) -> rule2))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)]