Dave is big. Dave is blue. Dave is green. Dave is rough. Erin is blue. Erin is kind. Erin is white. Big things are green.
Dave is not big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3 OR ((triple1) -> rule1))] Dave is rough.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Erin is white.[(triple7)]