Fiona is round. Fiona is white. Fiona is young. Quiet, cold people are young. All smart, quiet people are round. If Fiona is white then Fiona is round. If someone is young then they are cold. If someone is furry then they are white. All smart people are furry. All smart people are white. All young, white people are furry.
Fiona is not young.
@0: Fiona is round.[(triple1 OR ((triple2) -> rule3))] Fiona is white.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule4))] Fiona is furry.[(((triple3 triple2) -> rule8))]