that there is something such that it is a kind of plausible thing that is a salaam is not right.
sent1: if something that utters is not a salaam then it is not a kind of an ethnicity. sent2: something is motivational thing that does greet grant-in-aid if the fact that it is not a kind of an ethnicity is correct. sent3: the lolly is a kind of an ethnicity that utters. sent4: if the fact that the lolly is a kind of an ethnicity is true the fothergilla is not implausible but it is a salaam.
sent3 -> int1: the fact that the lolly is an ethnicity hold.; sent4 & int1 -> int2: the fothergilla is a kind of plausible thing that is a salaam.; int2 -> hypothesis;
the butty is motivational and greets grant-in-aid.
sent2 -> int3: if the butty is not an ethnicity then it is motivational thing that greets grant-in-aid.; sent1 -> int4: if the butty utters and is not a salaam then it is not an ethnicity.;
$hypothesis$ = that there is something such that it is a kind of plausible thing that is a salaam is not right. ; $context$ = sent1: if something that utters is not a salaam then it is not a kind of an ethnicity. sent2: something is motivational thing that does greet grant-in-aid if the fact that it is not a kind of an ethnicity is correct. sent3: the lolly is a kind of an ethnicity that utters. sent4: if the fact that the lolly is a kind of an ethnicity is true the fothergilla is not implausible but it is a salaam. ; $proof$ = 
sent3 -> int1: the fact that the lolly is an ethnicity hold.; sent4 & int1 -> int2: the fothergilla is a kind of plausible thing that is a salaam.; int2 -> hypothesis; __DISPROVED__