that there is something such that if that it does notch splat is not incorrect it is a Iberian is not true.
sent1: something does not notch splat if that it is unprofitable and it is not sociolinguistics is false. sent2: something is not non-Iberian if it is unprofitable and it is not sociolinguistics. sent3: something that is unprofitable and is sociolinguistics is Iberian.
sent1 -> int1: if that the splat is unprofitable but not sociolinguistics is not true then it does not notch splat.; void -> assump1: Let's assume that the fact that the splat is unprofitable but it is not sociolinguistics is not right.; int1 & assump1 -> int2: the splat does not notch splat.; void -> assump2: Let's assume that the splat notches splat.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the splat is unprofitable but it is not sociolinguistics.; sent2 -> int5: the splat is a Iberian if it is unprofitable but not sociolinguistics.; int4 & int5 -> int6: the splat is a kind of a Iberian.; [assump2] & int6 -> int7: if the splat does notch splat it is a kind of a Iberian.; int7 -> hypothesis;
$hypothesis$ = that there is something such that if that it does notch splat is not incorrect it is a Iberian is not true. ; $context$ = sent1: something does not notch splat if that it is unprofitable and it is not sociolinguistics is false. sent2: something is not non-Iberian if it is unprofitable and it is not sociolinguistics. sent3: something that is unprofitable and is sociolinguistics is Iberian. ; $proof$ = 
sent1 -> int1: if that the splat is unprofitable but not sociolinguistics is not true then it does not notch splat.; void -> assump1: Let's assume that the fact that the splat is unprofitable but it is not sociolinguistics is not right.; int1 & assump1 -> int2: the splat does not notch splat.; void -> assump2: Let's assume that the splat notches splat.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the splat is unprofitable but it is not sociolinguistics.; sent2 -> int5: the splat is a Iberian if it is unprofitable but not sociolinguistics.; int4 & int5 -> int6: the splat is a kind of a Iberian.; [assump2] & int6 -> int7: if the splat does notch splat it is a kind of a Iberian.; int7 -> hypothesis; __DISPROVED__