revert twitter polling frequency
add compression rule: search assumptions for desired proposition
add reduction rule: draw out common rules from disjunction elimination