Fiona is blue. Blue things are white. All big, kind things are not white. Big things are kind. If something is white then it is kind. If something is furry and white then it is not green. If something is kind then it is round. If Fiona is green and Fiona is white then Fiona is round. If something is white and round then it is furry.
Fiona is white.
@0: Fiona is blue.[(triple1)] @1: Fiona is white.[(((triple1) -> rule1))] @2: Fiona is kind.[(((((triple1) -> rule1)) -> rule4))] @3: Fiona is round.[(((((((triple1) -> rule1)) -> rule4)) -> rule6))] @4: Fiona is furry.[(((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule8))] @5: Fiona is not green.[(((((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule8) ((triple1) -> rule1)) -> rule5))]