Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Bob is big. Bob is furry. Bob is nice. Kind, white people are quiet. If Anne is big and Anne is furry then Anne is rough. White people are kind. If someone is kind and white then they are nice. If someone is nice and kind then they are furry. Nice people are white. If someone is rough and kind then they are big. All quiet people are white.
Anne is not quiet.
@0: Anne is big.[(triple1 OR ((triple6 triple3) -> rule7) OR ((triple6 ((triple7) -> rule3)) -> rule7) OR ((triple6 ((((triple4) -> rule6)) -> rule3)) -> rule7) OR ((triple6 ((((triple5) -> rule8)) -> rule3)) -> rule7))] Anne is furry.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple7) -> rule3)) -> rule5) OR ((((triple3 triple7) -> rule4) triple3) -> rule5) OR ((((triple3 triple7) -> rule4) ((triple7) -> rule3)) -> rule5) OR ((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((triple4 ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple3 ((triple5) -> rule8)) -> rule4) triple3) -> rule5) OR ((((((triple7) -> rule3) triple7) -> rule4) triple3) -> rule5) OR ((((triple3 triple7) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((triple3 triple7) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple3 ((triple5) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule3) triple7) -> rule4) ((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) triple3) -> rule5) OR ((((triple3 ((triple5) -> rule8)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((triple3 ((triple5) -> rule8)) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple7) -> rule3) triple7) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((((triple7) -> rule3) triple7) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) triple3) -> rule5) OR ((((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) ((triple7) -> rule3)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4) triple3) -> rule5) OR ((((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5))] Anne is kind.[(triple3 OR ((triple7) -> rule3) OR ((((triple4) -> rule6)) -> rule3) OR ((((triple5) -> rule8)) -> rule3))] Anne is nice.[(triple4 OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple5) -> rule8)) -> rule4) OR ((((triple7) -> rule3) triple7) -> rule4) OR ((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) OR ((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) OR ((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4))] Anne is quiet.[(triple5 OR ((triple3 triple7) -> rule1) OR ((triple3 ((triple4) -> rule6)) -> rule1) OR ((((triple7) -> rule3) triple7) -> rule1) OR ((((triple7) -> rule3) ((triple4) -> rule6)) -> rule1) OR ((((((triple4) -> rule6)) -> rule3) triple7) -> rule1) OR ((((((triple4) -> rule6)) -> rule3) ((triple4) -> rule6)) -> rule1))] Anne is rough.[(triple6 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple4 triple3) -> rule5)) -> rule2) OR ((triple1 ((triple4 ((triple7) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((triple3 triple7) -> rule4) triple3) -> rule5)) -> rule2) OR ((triple1 ((((triple3 triple7) -> rule4) ((triple7) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((triple4 ((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((triple3 ((triple5) -> rule8)) -> rule4) triple3) -> rule5)) -> rule2) OR ((triple1 ((((((triple7) -> rule3) triple7) -> rule4) triple3) -> rule5)) -> rule2) OR ((triple1 ((((triple3 triple7) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((triple3 triple7) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((triple3 ((triple5) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((triple7) -> rule3) triple7) -> rule4) ((triple7) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) triple3) -> rule5)) -> rule2) OR ((triple1 ((((triple3 ((triple5) -> rule8)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((triple3 ((triple5) -> rule8)) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((triple7) -> rule3) triple7) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((triple7) -> rule3) triple7) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((triple7) -> rule3) ((triple5) -> rule8)) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) triple3) -> rule5)) -> rule2) OR ((triple1 ((((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) ((triple7) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4) triple3) -> rule5)) -> rule2) OR ((triple1 ((((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((((triple5) -> rule8)) -> rule3) triple7) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4) ((triple7) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((triple1 ((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule4) ((((triple5) -> rule8)) -> rule3)) -> rule5)) -> rule2))] Anne is white.[(triple7 OR ((triple4) -> rule6) OR ((triple5) -> rule8))] Bob is big.[(triple8)] Bob is furry.[(triple9 OR ((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule5))] Bob is nice.[(triple10)] @1: Bob is white.[(((triple10) -> rule6))] @2: Bob is kind.[(((((triple10) -> rule6)) -> rule3))] @3: Bob is quiet.[(((((((triple10) -> rule6)) -> rule3) ((triple10) -> rule6)) -> rule1))]