Erin is blue. Gary is quiet. Gary is smart. White, furry things are smart. If something is quiet then it is nice.
Erin is not blue.
@0: Erin is blue.[(triple1)] Gary is quiet.[(triple2)] Gary is smart.[(triple3)] @1: Gary is nice.[(((triple2) -> rule2))]