Bob is rough. Erin is blue. Erin is green. Erin is nice. Erin is rough. Erin is young. Harry is young. If Bob is rough then Bob is green. If Erin is green and Erin is round then Erin is not young. If someone is rough then they are green. If Harry is round and Harry is not young then Harry is rough. If someone is green and not round then they are big. Big people are rough. All rough people are nice. If someone is big and not green then they are nice.
Erin is not young.
@0: Bob is rough.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3 OR ((triple5) -> rule3))] Erin is nice.[(triple4 OR ((triple5) -> rule7))] Erin is rough.[(triple5)] Erin is young.[(triple6)] Harry is young.[(triple7)] @1: Bob is green.[(((triple1) -> rule1) OR ((triple1) -> rule3))] Bob is nice.[(((triple1) -> rule7))]