Erin is furry. Gary is furry. Gary is white. All white, furry things are blue.
Gary is big.
@0: Erin is furry.[(triple1)] Gary is furry.[(triple2)] Gary is white.[(triple3)] @1: Gary is blue.[(((triple3 triple2) -> rule1))]