Anne is big. Anne is red. Anne is young. Dave is blue. Dave is young. Erin is kind. Erin is not white. Red things are big. If Dave is green and Dave is young then Dave is big.
Anne is big.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is red.[(triple2)] Anne is young.[(triple3)] Dave is blue.[(triple4)] Dave is young.[(triple5)] Erin is kind.[(triple6)] Erin is not white.[(triple7)]