the fact that the march is not a mousse and it is not a obsoleteness is incorrect.
sent1: that something is not a mousse and it is not a kind of a obsoleteness is wrong if it does not mature. sent2: if something is not shallow-draft and/or it is not cognitive then it is not shallow-draft. sent3: the fact that the lory is an awe and a obsoleteness is not correct. sent4: that that something is an awe and it matures is not false is wrong if it is not shallow-draft. sent5: there is something such that it is Gibraltarian. sent6: if that the march is a kind of a obsoleteness that is shallow-draft does not hold then the carinate is not a obsoleteness. sent7: that the lory is shallow-draft and/or an awe is incorrect if the fact that there are immature things is not wrong. sent8: if the fact that the carinate is both a obsoleteness and cognitive does not hold that the march is not a obsoleteness is correct. sent9: that the lory does awe and/or is a obsoleteness is wrong. sent10: if something is a Gibraltarian the fact that the carinate is a obsoleteness and is not non-cognitive is not correct. sent11: the march is not a mousse if the fact that the lory is shallow-draft and/or it awes does not hold. sent12: there is something such that it does not mature. sent13: the fact that the lory is not shallow-draft or it is not cognitive or both is not false if the carinate is a Gibraltarian.
sent12 & sent7 -> int1: the fact that the lory is shallow-draft or it is an awe or both does not hold.; int1 & sent11 -> int2: the march is not a mousse.; sent5 & sent10 -> int3: that the carinate is a kind of a obsoleteness and it is cognitive is not true.; sent8 & int3 -> int4: the march is not a kind of a obsoleteness.; int2 & int4 -> hypothesis;
the fact that the march is both not a mousse and not a obsoleteness does not hold.
sent1 -> int5: if the march does not mature the fact that it is not a mousse and not a obsoleteness is not true.; sent4 -> int6: if the lory is not shallow-draft then that it awes and is mature is not true.; sent2 -> int7: if the lory is either non-shallow-draft or not cognitive or both it is not non-shallow-draft.;
$hypothesis$ = the fact that the march is not a mousse and it is not a obsoleteness is incorrect. ; $context$ = sent1: that something is not a mousse and it is not a kind of a obsoleteness is wrong if it does not mature. sent2: if something is not shallow-draft and/or it is not cognitive then it is not shallow-draft. sent3: the fact that the lory is an awe and a obsoleteness is not correct. sent4: that that something is an awe and it matures is not false is wrong if it is not shallow-draft. sent5: there is something such that it is Gibraltarian. sent6: if that the march is a kind of a obsoleteness that is shallow-draft does not hold then the carinate is not a obsoleteness. sent7: that the lory is shallow-draft and/or an awe is incorrect if the fact that there are immature things is not wrong. sent8: if the fact that the carinate is both a obsoleteness and cognitive does not hold that the march is not a obsoleteness is correct. sent9: that the lory does awe and/or is a obsoleteness is wrong. sent10: if something is a Gibraltarian the fact that the carinate is a obsoleteness and is not non-cognitive is not correct. sent11: the march is not a mousse if the fact that the lory is shallow-draft and/or it awes does not hold. sent12: there is something such that it does not mature. sent13: the fact that the lory is not shallow-draft or it is not cognitive or both is not false if the carinate is a Gibraltarian. ; $proof$ = 
sent12 & sent7 -> int1: the fact that the lory is shallow-draft or it is an awe or both does not hold.; int1 & sent11 -> int2: the march is not a mousse.; sent5 & sent10 -> int3: that the carinate is a kind of a obsoleteness and it is cognitive is not true.; sent8 & int3 -> int4: the march is not a kind of a obsoleteness.; int2 & int4 -> hypothesis; __DISPROVED__