the fact that there is something such that it is not consolable is not correct.
sent1: if there exists something such that the fact that it is an ibex and it acquaints acme is not true then that the syrinx is a metonymy hold. sent2: the fact that something is a kind of a ivied and it is a ready-made is false if it is not consolable. sent3: that if something is a helmeted then it is not consolable and it is not noncellular hold. sent4: that the workhouse is a kind of an ibex that does acquaint acme is not right. sent5: there exists something such that it is consolable. sent6: if something is a ready-made then the anisogamete is not consolable. sent7: if the syrinx is non-backing it is a helmeted and is a kind of a phenyltoloxamine. sent8: if there exists something such that it is an ibex or consolable or both the workhouse is not a kind of a metonymy. sent9: if something is not non-ready-made and/or it is a ivied then the anisogamete is not consolable. sent10: the syrinx is a metonymy if there exists something such that it does not acquaint acme. sent11: if there is something such that the fact that the fact that it is a ivied and is a ready-made is not wrong is wrong then the railhead is not a kind of a metonymy. sent12: there is something such that it is a kind of an ibex and acquaints acme. sent13: if something is a kind of a metonymy it is a ivied.
sent4 -> int1: that there exists something such that that it is an ibex and it acquaints acme is false hold.; int1 & sent1 -> int2: the syrinx is a metonymy.; sent13 -> int3: the syrinx is a kind of a ivied if that it is a kind of a metonymy is true.; int2 & int3 -> int4: the syrinx is a kind of a ivied.; int4 -> int5: either the syrinx is a ready-made or it is a kind of a ivied or both.; int5 -> int6: something is ready-made and/or it is a ivied.; int6 & sent9 -> int7: the anisogamete is not consolable.; int7 -> hypothesis;
the railhead is not a metonymy.
sent2 -> int8: the fact that the syrinx is a kind of a ivied and it is a ready-made is not true if the fact that it is consolable does not hold.; sent3 -> int9: the syrinx is both not consolable and not noncellular if the fact that it is a helmeted is correct.;
$hypothesis$ = the fact that there is something such that it is not consolable is not correct. ; $context$ = sent1: if there exists something such that the fact that it is an ibex and it acquaints acme is not true then that the syrinx is a metonymy hold. sent2: the fact that something is a kind of a ivied and it is a ready-made is false if it is not consolable. sent3: that if something is a helmeted then it is not consolable and it is not noncellular hold. sent4: that the workhouse is a kind of an ibex that does acquaint acme is not right. sent5: there exists something such that it is consolable. sent6: if something is a ready-made then the anisogamete is not consolable. sent7: if the syrinx is non-backing it is a helmeted and is a kind of a phenyltoloxamine. sent8: if there exists something such that it is an ibex or consolable or both the workhouse is not a kind of a metonymy. sent9: if something is not non-ready-made and/or it is a ivied then the anisogamete is not consolable. sent10: the syrinx is a metonymy if there exists something such that it does not acquaint acme. sent11: if there is something such that the fact that the fact that it is a ivied and is a ready-made is not wrong is wrong then the railhead is not a kind of a metonymy. sent12: there is something such that it is a kind of an ibex and acquaints acme. sent13: if something is a kind of a metonymy it is a ivied. ; $proof$ = 
sent4 -> int1: that there exists something such that that it is an ibex and it acquaints acme is false hold.; int1 & sent1 -> int2: the syrinx is a metonymy.; sent13 -> int3: the syrinx is a kind of a ivied if that it is a kind of a metonymy is true.; int2 & int3 -> int4: the syrinx is a kind of a ivied.; int4 -> int5: either the syrinx is a ready-made or it is a kind of a ivied or both.; int5 -> int6: something is ready-made and/or it is a ivied.; int6 & sent9 -> int7: the anisogamete is not consolable.; int7 -> hypothesis; __DISPROVED__