Anne is green. Anne is quiet. Anne is young. Dave is young. Erin is big. Erin is cold. Erin is quiet. Cold people are white. If Dave is quiet and Dave is big then Dave is green. If Dave is not quiet then Dave is white.
Erin is not big.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Dave is young.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is quiet.[(triple7)] @1: Erin is white.[(((triple6) -> rule1))]