the fact that there exists something such that if it is not a kind of a scours then it does gauge intercostal is not right.
sent1: something gauges intercostal and is pubertal if that it is not a kind of a scours hold.
sent1 -> int1: if the Bordeaux is not a scours it gauges intercostal and it is pubertal.; void -> assump1: Let's assume that the Bordeaux is not a scours.; int1 & assump1 -> int2: the Bordeaux does gauge intercostal and is pubertal.; int2 -> int3: the Bordeaux gauges intercostal.; [assump1] & int3 -> int4: if the Bordeaux is not a scours it gauges intercostal.; int4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of a scours then it does gauge intercostal is not right. ; $context$ = sent1: something gauges intercostal and is pubertal if that it is not a kind of a scours hold. ; $proof$ = 
sent1 -> int1: if the Bordeaux is not a scours it gauges intercostal and it is pubertal.; void -> assump1: Let's assume that the Bordeaux is not a scours.; int1 & assump1 -> int2: the Bordeaux does gauge intercostal and is pubertal.; int2 -> int3: the Bordeaux gauges intercostal.; [assump1] & int3 -> int4: if the Bordeaux is not a scours it gauges intercostal.; int4 -> hypothesis; __DISPROVED__