Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is white. Rough, furry things are kind. If something is white then it is smart.
Anne is white.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple4 triple1) -> rule1))] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7 OR ((triple9 triple6) -> rule1))] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12 OR ((triple14 triple11) -> rule1))] Erin is quiet.[(triple13)] Erin is rough.[(triple14)] Erin is round.[(triple15)] Erin is white.[(triple16)] @1: Erin is smart.[(((triple16) -> rule2))]