Anne is nice. Anne is round. Anne is smart. Anne is white. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is smart. Erin is nice. Erin is smart. Erin is white. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is white. Smart people are white. All smart people are nice. All blue people are nice. White, smart people are quiet. If Anne is blue and Anne is nice then Anne is round. Round, blue people are quiet. All white people are quiet. All quiet people are white.
Harry is nice.
@0: Anne is nice.[(triple1 OR ((triple3) -> rule2))] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4 OR ((triple3) -> rule1))] Charlie is blue.[(triple5)] Charlie is nice.[(triple6 OR ((triple5) -> rule3) OR ((triple8) -> rule2))] Charlie is quiet.[(triple7 OR ((((triple8) -> rule1)) -> rule7) OR ((((triple8) -> rule1) triple8) -> rule4))] Charlie is smart.[(triple8)] Erin is nice.[(triple9 OR ((triple10) -> rule2))] Erin is smart.[(triple10)] Erin is white.[(triple11 OR ((triple10) -> rule1))] Harry is nice.[(triple12 OR ((triple15) -> rule2))] Harry is quiet.[(triple13 OR ((triple16) -> rule7) OR ((triple16 triple15) -> rule4) OR ((((triple15) -> rule1)) -> rule7) OR ((((triple15) -> rule1) triple15) -> rule4))] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple13) -> rule8) OR ((triple15) -> rule1))] @1: Anne is quiet.[(((triple4) -> rule7) OR ((triple4 triple3) -> rule4) OR ((((triple3) -> rule1)) -> rule7) OR ((((triple3) -> rule1) triple3) -> rule4))] Charlie is white.[(((triple7) -> rule8) OR ((triple8) -> rule1))] Erin is quiet.[(((triple11) -> rule7) OR ((triple11 triple10) -> rule4) OR ((((triple10) -> rule1)) -> rule7) OR ((((triple10) -> rule1) triple10) -> rule4))]