Dave is red. Erin is furry. Fiona is not big. All red things are furry. If Fiona is not big then Fiona is not furry.
Erin is not big.
@0: Dave is red.[(triple1)] Erin is furry.[(triple2)] Fiona is not big.[(triple3)] @1: Dave is furry.[(((triple1) -> rule1))] Fiona is not furry.[(((triple3) -> rule2))]