Fiona is big. Fiona is not blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is not young. If Fiona is big and Fiona is cold then Fiona is furry.
Fiona is green.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4 OR ((triple1 triple3) -> rule1))] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is not blue.[(triple2)] Fiona is not young.[(triple7)]