Anne is cold. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Bob is cold. Bob is smart. Bob is white. Charlie is cold. Charlie is furry. Charlie is rough. Charlie is round. Erin is furry. Erin is quiet. Erin is smart. Furry, smart people are white. All round people are rough. All cold, smart people are white. White, furry people are round. If Erin is white and Erin is round then Erin is furry. All smart people are round. If someone is furry then they are white. If Anne is round then Anne is rough.
Bob is furry.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3 OR ((((triple4) -> rule6)) -> rule2) OR ((((triple4) -> rule6)) -> rule8))] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple1 triple4) -> rule3))] Bob is cold.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8 OR ((triple6 triple7) -> rule3))] Charlie is cold.[(triple9)] Charlie is furry.[(triple10)] Charlie is rough.[(triple11 OR ((triple12) -> rule2) OR ((((((triple10) -> rule7) triple10) -> rule4)) -> rule2))] Charlie is round.[(triple12 OR ((((triple10) -> rule7) triple10) -> rule4))] Erin is furry.[(triple13)] Erin is quiet.[(triple14)] Erin is smart.[(triple15)] @1: Anne is round.[(((triple4) -> rule6))] Bob is round.[(((triple7) -> rule6))] Charlie is white.[(((triple10) -> rule7))] Erin is round.[(((triple15) -> rule6) OR ((((triple13) -> rule7) triple13) -> rule4) OR ((((triple13 triple15) -> rule1) triple13) -> rule4))] Erin is white.[(((triple13) -> rule7) OR ((triple13 triple15) -> rule1))] @2: Bob is rough.[(((((triple7) -> rule6)) -> rule2))] Erin is rough.[(((((triple15) -> rule6)) -> rule2) OR ((((((triple13) -> rule7) triple13) -> rule4)) -> rule2) OR ((((((triple13 triple15) -> rule1) triple13) -> rule4)) -> rule2))]