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