Anne is big. Anne is red. Bob is big. Bob is kind. Bob is round. Bob is smart. Bob is white. If Anne is kind then Anne is red. Red, smart people are white. If Bob is white then Bob is kind. If someone is big and red then they are kind. All white, round people are smart. All kind people are round. All round, blue people are white. Big people are blue.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Bob is big.[(triple3)] Bob is kind.[(triple4 OR ((triple7) -> rule3) OR ((((triple5 ((triple3) -> rule8)) -> rule7)) -> rule3))] Bob is round.[(triple5 OR ((triple4) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] Bob is smart.[(triple6 OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple4) -> rule6)) -> rule5) OR ((triple7 ((((triple7) -> rule3)) -> rule6)) -> rule5) OR ((((triple5 ((triple3) -> rule8)) -> rule7) triple5) -> rule5) OR ((((triple5 ((triple3) -> rule8)) -> rule7) ((triple4) -> rule6)) -> rule5) OR ((((((triple4) -> rule6) ((triple3) -> rule8)) -> rule7) triple5) -> rule5) OR ((((triple5 ((triple3) -> rule8)) -> rule7) ((((triple7) -> rule3)) -> rule6)) -> rule5) OR ((((((triple4) -> rule6) ((triple3) -> rule8)) -> rule7) ((triple4) -> rule6)) -> rule5) OR ((((((triple4) -> rule6) ((triple3) -> rule8)) -> rule7) ((((triple7) -> rule3)) -> rule6)) -> rule5))] Bob is white.[(triple7 OR ((triple5 ((triple3) -> rule8)) -> rule7) OR ((((triple4) -> rule6) ((triple3) -> rule8)) -> rule7))] @1: Anne is blue.[(((triple1) -> rule8))] Anne is kind.[(((triple1 triple2) -> rule4))] Bob is blue.[(((triple3) -> rule8))] @2: Anne is round.[(((((triple1 triple2) -> rule4)) -> rule6))] @3: Anne is white.[(((((((triple1 triple2) -> rule4)) -> rule6) ((triple1) -> rule8)) -> rule7))] @4: Anne is smart.[(((((((((triple1 triple2) -> rule4)) -> rule6) ((triple1) -> rule8)) -> rule7) ((((triple1 triple2) -> rule4)) -> rule6)) -> rule5))]