Dave is big. Dave is green. Dave is white. Dave is young. Erin is big. Erin is red. Erin is rough. Erin is white. Erin is young. Harry is green. Harry is red. Harry is young. If Dave is big and Dave is white then Dave is red.
Dave is not green.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is big.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Harry is green.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Dave is red.[(((triple1 triple3) -> rule1))]