Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. All quiet, big people are green. Green, quiet people are furry. Big, quiet people are kind.
Fiona is green.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2 OR ((triple3 triple6) -> rule2) OR ((((triple6 triple1) -> rule1) triple6) -> rule2))] Fiona is green.[(triple3 OR ((triple6 triple1) -> rule1))] Fiona is kind.[(triple4 OR ((triple1 triple6) -> rule3))] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)]