Anne is quiet. Charlie is kind. Charlie is round. Erin is quiet. Erin is rough. Erin is round. Erin is white. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is white. Fiona is young. Kind things are white. If something is quiet then it is rough. All young things are white. If something is furry then it is quiet. If Charlie is kind and Charlie is round then Charlie is quiet. All rough things are round.
Charlie is young.
@0: Anne is quiet.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5 OR ((triple4) -> rule2))] Erin is round.[(triple6 OR ((triple5) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Erin is white.[(triple7)] Fiona is furry.[(triple8)] Fiona is kind.[(triple9)] Fiona is rough.[(triple10 OR ((((triple8) -> rule4)) -> rule2))] Fiona is white.[(triple11 OR ((triple12) -> rule3) OR ((triple9) -> rule1))] Fiona is young.[(triple12)] @1: Anne is rough.[(((triple1) -> rule2))] Charlie is quiet.[(((triple2 triple3) -> rule5))] Charlie is white.[(((triple2) -> rule1))] Fiona is quiet.[(((triple8) -> rule4))] Fiona is round.[(((triple10) -> rule6) OR ((((((triple8) -> rule4)) -> rule2)) -> rule6))] @2: Anne is round.[(((((triple1) -> rule2)) -> rule6))] Charlie is rough.[(((((triple2 triple3) -> rule5)) -> rule2))]