Erin is not furry. Fiona is red. Harry is furry. Red things are big. White things are big. Quiet, white things are big. White, quiet things are big. All big things are red. All white things are red. If something is white and not quiet then it is red. All red, furry things are white.
Erin is not furry.
@0: Erin is not furry.[(triple1)] Fiona is red.[(triple2)] Harry is furry.[(triple3)] @1: Fiona is big.[(((triple2) -> rule1))]