the Colossian is not a kind of a November.
sent1: that something is non-detachable but it is a kind of a Scaphiopus is wrong if it is not a November. sent2: the redfish is hypertonic if the fact that the Colossian is not detachable but it is a Scaphiopus is false. sent3: something is not detachable if the fact that it is a November and hypertonic is incorrect. sent4: the redfish is not hypertonic and is not Jovian.
sent1 -> int1: that if the Colossian is not the November the fact that the Colossian is a kind of non-detachable a Scaphiopus does not hold is right.; void -> assump1: Let's assume that the Colossian is not a November.; int1 & assump1 -> int2: the fact that the Colossian is non-detachable a Scaphiopus does not hold.; int2 & sent2 -> int3: the redfish is hypertonic.; sent4 -> int4: the redfish is not hypertonic.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the gramophone is not detachable.
sent3 -> int6: the gramophone is not detachable if the fact that it is a kind of a November and it is hypertonic is false.;
$hypothesis$ = the Colossian is not a kind of a November. ; $context$ = sent1: that something is non-detachable but it is a kind of a Scaphiopus is wrong if it is not a November. sent2: the redfish is hypertonic if the fact that the Colossian is not detachable but it is a Scaphiopus is false. sent3: something is not detachable if the fact that it is a November and hypertonic is incorrect. sent4: the redfish is not hypertonic and is not Jovian. ; $proof$ = 
sent1 -> int1: that if the Colossian is not the November the fact that the Colossian is a kind of non-detachable a Scaphiopus does not hold is right.; void -> assump1: Let's assume that the Colossian is not a November.; int1 & assump1 -> int2: the fact that the Colossian is non-detachable a Scaphiopus does not hold.; int2 & sent2 -> int3: the redfish is hypertonic.; sent4 -> int4: the redfish is not hypertonic.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__