Erin is big. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is not red. Erin is not round. If someone is kind and red then they are quiet. If Erin is not kind then Erin is not green.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is not red.[(triple6)] Erin is not round.[(triple7)] Erin is quiet.[(triple5)]