Dave is rough. Erin is smart. If Dave is big and Dave is nice then Dave is furry. Smart things are rough. All big things are nice.
Dave is nice.
@0: Dave is rough.[(triple1)] Erin is smart.[(triple2)] @1: Erin is rough.[(((triple2) -> rule2))]