Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is red. Fiona is round. Fiona is young. Kind things are big.
Fiona is not kind.
@0: Fiona is big.[(triple1 OR ((triple4) -> rule1))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)]