Bob is young. Dave is kind. Dave is quiet. Dave is rough. Erin is kind. Erin is rough. Gary is white. Young, white people are not kind. If someone is quiet and white then they are not kind. All young, quiet people are not green. All white, big people are green. If Gary is white then Gary is big. If Gary is not quiet then Gary is rough.
Bob is not green.
@0: Bob is young.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6)] Gary is white.[(triple7)] @1: Gary is big.[(((triple7) -> rule5))] @2: Gary is green.[(((triple7 ((triple7) -> rule5)) -> rule4))]