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