the man-of-war is a synovium.
sent1: the man-of-war is an alkene if it is non-opposable thing that is a kind of a synovium. sent2: the man-of-war is not a kind of a fawn. sent3: the Gond is not opposable. sent4: the man-of-war is not opposable. sent5: that the Gond is not a goshawk and not a strain is not true. sent6: if there exists something such that the fact that it is not a goshawk and it is not a strain is not right then the man-of-war does strain. sent7: if the man-of-war does not fawn that it does not age Gond and it is not a kind of a dogging is not true. sent8: the prechlorination is not opposable. sent9: the Gond is prandial. sent10: the fact that something is not a modulus and it does not age luminosity does not hold if it is not unopposable. sent11: if that something does not age Gond and it is not a kind of a dogging is incorrect then it is a dogging. sent12: if the man-of-war is an alkene and is a kind of a dogging then it is not a strain. sent13: something that is not a dogging either is opposable or is an alkene or both.
void -> assump1: Let's assume that the man-of-war is a synovium.; sent4 & assump1 -> int1: the man-of-war is unopposable thing that is a kind of a synovium.; int1 & sent1 -> int2: the man-of-war is an alkene.; sent11 -> int3: the man-of-war is a dogging if that it does not age Gond and it is not a dogging does not hold.; sent7 & sent2 -> int4: the fact that the man-of-war does not age Gond and it is not a kind of a dogging is false.; int3 & int4 -> int5: the man-of-war is a dogging.; int2 & int5 -> int6: that the man-of-war is a kind of an alkene and is a kind of a dogging is true.; int6 & sent12 -> int7: the man-of-war does not strain.; sent5 -> int8: there is something such that that it is not a goshawk and does not strain is incorrect.; int8 & sent6 -> int9: the man-of-war is a strain.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the man-of-war is a kind of a synovium.
sent13 -> int11: the man-of-war is opposable or an alkene or both if it is not a kind of a dogging.;
$hypothesis$ = the man-of-war is a synovium. ; $context$ = sent1: the man-of-war is an alkene if it is non-opposable thing that is a kind of a synovium. sent2: the man-of-war is not a kind of a fawn. sent3: the Gond is not opposable. sent4: the man-of-war is not opposable. sent5: that the Gond is not a goshawk and not a strain is not true. sent6: if there exists something such that the fact that it is not a goshawk and it is not a strain is not right then the man-of-war does strain. sent7: if the man-of-war does not fawn that it does not age Gond and it is not a kind of a dogging is not true. sent8: the prechlorination is not opposable. sent9: the Gond is prandial. sent10: the fact that something is not a modulus and it does not age luminosity does not hold if it is not unopposable. sent11: if that something does not age Gond and it is not a kind of a dogging is incorrect then it is a dogging. sent12: if the man-of-war is an alkene and is a kind of a dogging then it is not a strain. sent13: something that is not a dogging either is opposable or is an alkene or both. ; $proof$ = 
void -> assump1: Let's assume that the man-of-war is a synovium.; sent4 & assump1 -> int1: the man-of-war is unopposable thing that is a kind of a synovium.; int1 & sent1 -> int2: the man-of-war is an alkene.; sent11 -> int3: the man-of-war is a dogging if that it does not age Gond and it is not a dogging does not hold.; sent7 & sent2 -> int4: the fact that the man-of-war does not age Gond and it is not a kind of a dogging is false.; int3 & int4 -> int5: the man-of-war is a dogging.; int2 & int5 -> int6: that the man-of-war is a kind of an alkene and is a kind of a dogging is true.; int6 & sent12 -> int7: the man-of-war does not strain.; sent5 -> int8: there is something such that that it is not a goshawk and does not strain is incorrect.; int8 & sent6 -> int9: the man-of-war is a strain.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__