Anne is quiet. Anne is round. Anne is white. Anne is young. Charlie is big. Charlie is blue. Charlie is quiet. Charlie is white. Charlie is young. Erin is big. Erin is blue. Erin is quiet. Erin is rough. Erin is round. Erin is white. Erin is young. Blue, round things are rough. If something is blue then it is quiet. If something is big then it is white. Rough, round things are quiet. All white things are young. Big things are rough.
Charlie is white.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule5))] Charlie is big.[(triple5)] Charlie is blue.[(triple6)] Charlie is quiet.[(triple7 OR ((triple6) -> rule2))] Charlie is white.[(triple8 OR ((triple5) -> rule3))] Charlie is young.[(triple9 OR ((triple8) -> rule5) OR ((((triple5) -> rule3)) -> rule5))] Erin is big.[(triple10)] Erin is blue.[(triple11)] Erin is quiet.[(triple12 OR ((triple11) -> rule2) OR ((triple13 triple14) -> rule4) OR ((((triple10) -> rule6) triple14) -> rule4) OR ((((triple11 triple14) -> rule1) triple14) -> rule4))] Erin is rough.[(triple13 OR ((triple10) -> rule6) OR ((triple11 triple14) -> rule1))] Erin is round.[(triple14)] Erin is white.[(triple15 OR ((triple10) -> rule3))] Erin is young.[(triple16 OR ((triple15) -> rule5) OR ((((triple10) -> rule3)) -> rule5))] @1: Charlie is rough.[(((triple5) -> rule6))]