that there is something such that if it does dismiss then it investigates Northamptonshire and it is not a kind of a cobblers is wrong.
sent1: something does not investigate riser but it is a trapshooter. sent2: if the riser dismisses then it does investigate Northamptonshire. sent3: there exists something such that it investigates riser and it is a kind of a trapshooter. sent4: if there is something such that it does not investigate riser and it is a trapshooter then the riser is not a cobblers.
void -> assump1: Let's assume that the riser dismisses.; sent2 & assump1 -> int1: the riser investigates Northamptonshire.; sent1 & sent4 -> int2: the riser is not a cobblers.; int1 & int2 -> int3: the riser does investigate Northamptonshire but it is not a cobblers.; [assump1] & int3 -> int4: if the riser does dismiss it investigates Northamptonshire and is not a cobblers.; int4 -> hypothesis;
$hypothesis$ = that there is something such that if it does dismiss then it investigates Northamptonshire and it is not a kind of a cobblers is wrong. ; $context$ = sent1: something does not investigate riser but it is a trapshooter. sent2: if the riser dismisses then it does investigate Northamptonshire. sent3: there exists something such that it investigates riser and it is a kind of a trapshooter. sent4: if there is something such that it does not investigate riser and it is a trapshooter then the riser is not a cobblers. ; $proof$ = 
void -> assump1: Let's assume that the riser dismisses.; sent2 & assump1 -> int1: the riser investigates Northamptonshire.; sent1 & sent4 -> int2: the riser is not a cobblers.; int1 & int2 -> int3: the riser does investigate Northamptonshire but it is not a cobblers.; [assump1] & int3 -> int4: if the riser does dismiss it investigates Northamptonshire and is not a cobblers.; int4 -> hypothesis; __DISPROVED__