Erin is green. If someone is blue then they are not rough. If someone is red and not young then they are smart. If Erin is red and Erin is not young then Erin is not blue. If Erin is young then Erin is green. If Erin is white and Erin is not blue then Erin is not green. If Erin is not green then Erin is rough.
Erin is green.
@0: Erin is green.[(triple1)]