Erin is blue. Erin is green. Erin is rough. All red, quiet people are blue. If someone is blue then they are red.
Erin is rough.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is rough.[(triple3)] @1: Erin is red.[(((triple1) -> rule2))]