the fact that there is something such that if it does rap then the fact that it is not a kind of a federalist or it is not a kind of a electromyogram or both is not right is wrong.
sent1: if something is a kind of a rap then the fact that that it is not a federalist or is not a kind of a electromyogram or both is not wrong is false. sent2: there exists something such that if it is unorthodox the fact that it is not a Acroclinium and/or it is a kind of a competitiveness is false.
sent1 -> int1: if the frostiness is a kind of a rap the fact that either it is not a federalist or it is not a electromyogram or both is not correct.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does rap then the fact that it is not a kind of a federalist or it is not a kind of a electromyogram or both is not right is wrong. ; $context$ = sent1: if something is a kind of a rap then the fact that that it is not a federalist or is not a kind of a electromyogram or both is not wrong is false. sent2: there exists something such that if it is unorthodox the fact that it is not a Acroclinium and/or it is a kind of a competitiveness is false. ; $proof$ = 
sent1 -> int1: if the frostiness is a kind of a rap the fact that either it is not a federalist or it is not a electromyogram or both is not correct.; int1 -> hypothesis; __DISPROVED__