Erin is not big. Erin is blue. Erin is kind. Erin is nice. Erin is not red. Gary is kind. Gary is not young. If something is kind and not young then it is not nice.
Erin is young.
@0: Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is not big.[(triple1)] Erin is not red.[(triple5)] Gary is kind.[(triple6)] Gary is not young.[(triple7)] @1: Gary is not nice.[(((triple6 triple7) -> rule1))]