Anne is not big. Dave is round. Erin is white. If Dave is round then Dave is not big. If something is green then it is not big. If something is green and not big then it is white. Cold, round things are white. White, young things are cold. All round things are not cold.
Anne is big.
@0: Anne is not big.[(triple1)] Dave is round.[(triple2)] Erin is white.[(triple3)] @1: Dave is not big.[(((triple2) -> rule1))] Dave is not cold.[(((triple2) -> rule6))]