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