Erin is green. Erin is nice. Erin is quiet. Erin is not rough. Erin is round. Erin is white. Erin is young. Fiona is green. Fiona is not nice. Fiona is quiet. Fiona is rough. Fiona is not round. Fiona is white. Fiona is young. If Fiona is young then Fiona is green. If someone is quiet and not nice then they are rough.
Erin is not young.
@0: Erin is green.[(triple1)] Erin is nice.[(triple2)] Erin is not rough.[(triple4)] Erin is quiet.[(triple3)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is green.[(triple8 OR ((triple14) -> rule1))] Fiona is not nice.[(triple9)] Fiona is not round.[(triple12)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11 OR ((triple10 triple9) -> rule2))] Fiona is white.[(triple13)] Fiona is young.[(triple14)]