Bob is nice. Erin is nice. Erin is not rough. If someone is red and smart then they are not big. If Erin is white and Erin is big then Erin is not green. If Erin is big and Erin is red then Erin is not green. If Bob is rough then Bob is nice. If someone is rough then they are white. If Erin is rough then Erin is not big.
Erin is nice.
@0: Bob is nice.[(triple1)] Erin is nice.[(triple2)] Erin is not rough.[(triple3)]