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 kind.
@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)]