Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Erin is big. Erin is blue. Erin is round. Quiet, round things are green. All big things are quiet.
Erin is quiet.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple4 triple6) -> rule1) OR ((((triple1) -> rule2) triple6) -> rule1))] Charlie is quiet.[(triple4 OR ((triple1) -> rule2))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is green.[(triple10 OR ((triple11 triple13) -> rule1) OR ((((triple7) -> rule2) triple13) -> rule1))] Dave is quiet.[(triple11 OR ((triple7) -> rule2))] Dave is rough.[(triple12)] Dave is round.[(triple13)] Erin is big.[(triple14)] Erin is blue.[(triple15)] Erin is round.[(triple16)] @1: Erin is quiet.[(((triple14) -> rule2))] @2: Erin is green.[(((((triple14) -> rule2) triple16) -> rule1))]