Dave is not rough. Erin is green. Gary is not furry. If something is green then it is rough. Green things are not red. If Dave is blue and Dave is not red then Dave is not big.
Erin is green.
@0: Dave is not rough.[(triple1)] Erin is green.[(triple2)] Gary is not furry.[(triple3)] @1: Erin is not red.[(((triple2) -> rule2))] Erin is rough.[(((triple2) -> rule1))]