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