Erin is kind. Erin is quiet. Erin is rough. Gary is not nice. Gary is quiet. Gary is red. Gary is rough. All red people are not kind.
Erin is not green.
@0: Erin is kind.[(triple1)] Erin is quiet.[(triple2)] Erin is rough.[(triple3)] Gary is not nice.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is rough.[(triple7)] @1: Gary is not kind.[(((triple6) -> rule1))]