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