the silverspot is arithmetical.
sent1: the fact that the silverspot is not arithmetical is right if a tract does not entrust thrasher. sent2: the fact that the fact that the paramyxovirus does not entrust thrasher is correct if the llama does pipe hold. sent3: the paramyxovirus does not entrust thrasher. sent4: the llama is a piping if the hairpin is creaseproof. sent5: the hairpin is creaseproof. sent6: if the llama is a piping then the paramyxovirus is a tract but it does not entrust thrasher. sent7: there exists something such that it is a tract and it entrusts thrasher.
sent4 & sent5 -> int1: the llama is a piping.; sent6 & int1 -> int2: the paramyxovirus is a kind of a tract and does not entrust thrasher.; int2 -> int3: something is a kind of a tract but it does not entrust thrasher.; int3 & sent1 -> hypothesis;
$hypothesis$ = the silverspot is arithmetical. ; $context$ = sent1: the fact that the silverspot is not arithmetical is right if a tract does not entrust thrasher. sent2: the fact that the fact that the paramyxovirus does not entrust thrasher is correct if the llama does pipe hold. sent3: the paramyxovirus does not entrust thrasher. sent4: the llama is a piping if the hairpin is creaseproof. sent5: the hairpin is creaseproof. sent6: if the llama is a piping then the paramyxovirus is a tract but it does not entrust thrasher. sent7: there exists something such that it is a tract and it entrusts thrasher. ; $proof$ = 
sent4 & sent5 -> int1: the llama is a piping.; sent6 & int1 -> int2: the paramyxovirus is a kind of a tract and does not entrust thrasher.; int2 -> int3: something is a kind of a tract but it does not entrust thrasher.; int3 & sent1 -> hypothesis; __DISPROVED__