Erin is big. Fiona is furry. Young things are white. Big things are kind. Kind, white things are furry. If something is kind then it is white. All white, blue things are smart. If something is smart then it is blue. All furry things are kind. White things are furry.
Fiona is furry.
@0: Erin is big.[(triple1)] Fiona is furry.[(triple2)] @1: Erin is kind.[(((triple1) -> rule2))] Fiona is kind.[(((triple2) -> rule7))] @2: Erin is white.[(((((triple1) -> rule2)) -> rule4))] Fiona is white.[(((((triple2) -> rule7)) -> rule4))] @3: Erin is furry.[(((((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule3))]