Anne is big. Anne is green. Anne is kind. Dave is big. Dave is rough. Erin is big. Erin is green. If Anne is not kind then Anne is young. If someone is big and not green then they are cold. If Erin is big then Erin is rough.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Dave is big.[(triple4)] Dave is rough.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple7)] @1: Erin is rough.[(((triple6) -> rule3))]