Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is rough. Dave is smart. Dave is white. Erin is big. Erin is furry. Erin is green. Erin is smart. Erin is white. All smart, big people are rough. If someone is green and furry then they are rough.
Dave is green.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5 OR ((triple3 triple2) -> rule2) OR ((triple6 triple1) -> rule1))] Dave is smart.[(triple6)] Dave is white.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] @1: Erin is rough.[(((triple10 triple9) -> rule2) OR ((triple11 triple8) -> rule1))]