Dave is furry. Erin is red. Fiona is red. White people are smart. All white, furry people are red. If someone is white then they are cold. Red people are big. All white people are furry. Cold people are white. All furry, cold people are big. If Fiona is white then Fiona is kind.
Erin is kind.
@0: Dave is furry.[(triple1)] Erin is red.[(triple2)] Fiona is red.[(triple3)] @1: Erin is big.[(((triple2) -> rule4))] Fiona is big.[(((triple3) -> rule4))]