Anne is not cold. Anne is rough. Dave is cold. Erin is not kind. Erin is rough. Gary is blue. Gary is young. Young things are not big. Rough things are not kind. White, cold things are not young.
Dave is big.
@0: Anne is not cold.[(triple1)] Anne is rough.[(triple2)] Dave is cold.[(triple3)] Erin is not kind.[(triple4 OR ((triple5) -> rule2))] Erin is rough.[(triple5)] Gary is blue.[(triple6)] Gary is young.[(triple7)] @1: Anne is not kind.[(((triple2) -> rule2))] Gary is not big.[(((triple7) -> rule1))]