Anne is furry. Anne is round. Charlie is furry. Charlie is green. Charlie is smart. Charlie is white. Harry is green. Harry is round. Harry is smart. Harry is white. If Anne is rough and Anne is round then Anne is big. If someone is green and round then they are rough. All big people are white. If someone is furry then they are green. All round, rough people are big. White, furry people are rough. All white, rough people are green. All round people are green.
Charlie is round.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4 OR ((triple3) -> rule4) OR ((triple6 ((triple6 triple3) -> rule6)) -> rule7))] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Harry is green.[(triple7 OR ((triple8) -> rule8))] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10 OR ((((triple8 ((triple7 triple8) -> rule2)) -> rule5)) -> rule3) OR ((((triple8 ((((triple8) -> rule8) triple8) -> rule2)) -> rule5)) -> rule3))] @1: Anne is green.[(((triple1) -> rule4) OR ((triple2) -> rule8))] Charlie is rough.[(((triple6 triple3) -> rule6))] Harry is rough.[(((triple7 triple8) -> rule2) OR ((((triple8) -> rule8) triple8) -> rule2))] @2: Anne is rough.[(((((triple1) -> rule4) triple2) -> rule2) OR ((((triple2) -> rule8) triple2) -> rule2))] Harry is big.[(((triple8 ((triple7 triple8) -> rule2)) -> rule5) OR ((triple8 ((((triple8) -> rule8) triple8) -> rule2)) -> rule5))] @3: Anne is big.[(((triple2 ((((triple1) -> rule4) triple2) -> rule2)) -> rule5) OR ((triple2 ((((triple2) -> rule8) triple2) -> rule2)) -> rule5) OR ((((((triple1) -> rule4) triple2) -> rule2) triple2) -> rule1) OR ((((((triple2) -> rule8) triple2) -> rule2) triple2) -> rule1))] @4: Anne is white.[(((((triple2 ((((triple1) -> rule4) triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple2 ((((triple2) -> rule8) triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple1) -> rule4) triple2) -> rule2) triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule2) triple2) -> rule1)) -> rule3))]