Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. If Fiona is cold and Fiona is kind then Fiona is furry. Furry people are rough.
Fiona is quiet.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2 OR ((triple1 triple4) -> rule1))] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6 OR ((triple2) -> rule2) OR ((((triple1 triple4) -> rule1)) -> rule2))] Fiona is round.[(triple7)]