Charlie is quiet. Charlie is rough. Dave is nice. Dave is rough. Dave is young. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Fiona is big. Fiona is cold. Fiona is green. Fiona is rough. Fiona is young. Big people are quiet.
Charlie is cold.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Dave is nice.[(triple3)] Dave is rough.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is quiet.[(triple9 OR ((triple6) -> rule1))] Erin is rough.[(triple10)] Fiona is big.[(triple11)] Fiona is cold.[(triple12)] Fiona is green.[(triple13)] Fiona is rough.[(triple14)] Fiona is young.[(triple15)] @1: Fiona is quiet.[(((triple11) -> rule1))]