Erin is green. Gary is not green. If Erin is green then Erin is young. All nice people are red. If someone is blue then they are not quiet. If someone is young then they are green. Red people are rough. All young people are nice. If Erin is nice and Erin is not green then Erin is rough. If Erin is red and Erin is not nice then Erin is rough.
Gary is green.
@0: Erin is green.[(triple1)] Gary is not green.[(triple2)] @1: Erin is young.[(((triple1) -> rule1))] @2: Erin is nice.[(((((triple1) -> rule1)) -> rule6))] @3: Erin is red.[(((((((triple1) -> rule1)) -> rule6)) -> rule2))] @4: Erin is rough.[(((((((((triple1) -> rule1)) -> rule6)) -> rule2)) -> rule5))]