the flyspeck does not rubify.
sent1: if the flyspeck is microeconomic then it does rubify. sent2: the fact that the flyspeck is calcific and it is microeconomic is false. sent3: if the fact that something is calcific but it is not microeconomic does not hold then it does rubify. sent4: if the blanket aurifies Limosa the fact that the flyspeck is calcific and it is microeconomic is not right. sent5: the blanket does aurify Limosa. sent6: The Limosa does aurify blanket. sent7: that the blanket does aurify Limosa and/or it does not rubify is correct if it is archival. sent8: that the flyspeck is calcific but not microeconomic is not correct if the blanket does aurify Limosa.
sent8 & sent5 -> int1: the fact that the flyspeck is calcific but it is not microeconomic is not right.; sent3 -> int2: the flyspeck rubifies if the fact that it is calcific and not microeconomic is not true.; int1 & int2 -> hypothesis;
the flyspeck does not rubify.
$hypothesis$ = the flyspeck does not rubify. ; $context$ = sent1: if the flyspeck is microeconomic then it does rubify. sent2: the fact that the flyspeck is calcific and it is microeconomic is false. sent3: if the fact that something is calcific but it is not microeconomic does not hold then it does rubify. sent4: if the blanket aurifies Limosa the fact that the flyspeck is calcific and it is microeconomic is not right. sent5: the blanket does aurify Limosa. sent6: The Limosa does aurify blanket. sent7: that the blanket does aurify Limosa and/or it does not rubify is correct if it is archival. sent8: that the flyspeck is calcific but not microeconomic is not correct if the blanket does aurify Limosa. ; $proof$ = 
sent8 & sent5 -> int1: the fact that the flyspeck is calcific but it is not microeconomic is not right.; sent3 -> int2: the flyspeck rubifies if the fact that it is calcific and not microeconomic is not true.; int1 & int2 -> hypothesis; __DISPROVED__