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 not white.
@0: Dave is rough.[(triple1)] Erin is smart.[(triple2)] @1: Erin is rough.[(((triple2) -> rule2))]