something is not caesural and does not side myopathy.
sent1: if there is something such that that it is non-maxillomandibular and Ptolemaic is not true then the Minnesotan is not a neuter. sent2: the yataghan is not caesural. sent3: that something is a diverticulum and it is caesural is false if it is not a Saurosuchus. sent4: something is non-late but not a self-defense. sent5: something is not a kind of a parlay. sent6: if something is not caesural it is not a muskellunge and it is not cleistogamous. sent7: the Orangeman is not caesural if there exists something such that that it is a diverticulum and it is caesural is not true. sent8: the Minnesotan is non-neuter if there is something such that it is maxillomandibular. sent9: if the Orangeman is not a muskellunge and is not cleistogamous then the yataghan is not cleistogamous. sent10: the satyr is not neuter if that the Minnesotan is neuter and it sides myopathy is not right. sent11: if something is not collegiate then it is not a Saurosuchus and it is not a crack. sent12: everything is not collegiate. sent13: something does not side myopathy and is not cleistogamous if it is non-neuter. sent14: if the Minnesotan does not side myopathy the yataghan is a kind of non-caesural thing that does not side myopathy. sent15: there is something such that the fact that it is not maxillomandibular and is Ptolemaic is not correct.
sent15 & sent1 -> int1: the Minnesotan is not a neuter.; sent13 -> int2: the Minnesotan does not side myopathy and is not cleistogamous if it is not a neuter.; int1 & int2 -> int3: the Minnesotan does not side myopathy and is not cleistogamous.; int3 -> int4: the Minnesotan does not side myopathy.; int4 & sent14 -> int5: the yataghan is not caesural and it does not side myopathy.; int5 -> hypothesis;
the satyr is not a neuter.
sent6 -> int6: the Orangeman is not a muskellunge and it is not cleistogamous if it is not caesural.; sent11 -> int7: the viceroy is not a Saurosuchus and not a crack if it is not collegiate.; sent12 -> int8: the viceroy is not collegiate.; int7 & int8 -> int9: the viceroy is not a Saurosuchus and is not a crack.; int9 -> int10: everything is not a Saurosuchus and is not a crack.; int10 -> int11: the acrogen is both not a Saurosuchus and not a crack.; int11 -> int12: the acrogen is not a kind of a Saurosuchus.; int12 -> int13: everything is not a Saurosuchus.; int13 -> int14: the grate is not a Saurosuchus.; sent3 -> int15: if the grate is not a kind of a Saurosuchus then the fact that it is a kind of a diverticulum that is caesural does not hold.; int14 & int15 -> int16: that the grate is a kind of a diverticulum that is caesural is wrong.; int16 -> int17: there exists nothing such that it is a diverticulum and not non-caesural.; int17 -> int18: the fact that the original is a diverticulum and is caesural is wrong.; int18 -> int19: there exists something such that the fact that it is a kind of a diverticulum and it is caesural does not hold.; sent7 & int19 -> int20: the Orangeman is not caesural.; int6 & int20 -> int21: the Orangeman is both not a muskellunge and not cleistogamous.; sent9 & int21 -> int22: the yataghan is not cleistogamous.;
$hypothesis$ = something is not caesural and does not side myopathy. ; $context$ = sent1: if there is something such that that it is non-maxillomandibular and Ptolemaic is not true then the Minnesotan is not a neuter. sent2: the yataghan is not caesural. sent3: that something is a diverticulum and it is caesural is false if it is not a Saurosuchus. sent4: something is non-late but not a self-defense. sent5: something is not a kind of a parlay. sent6: if something is not caesural it is not a muskellunge and it is not cleistogamous. sent7: the Orangeman is not caesural if there exists something such that that it is a diverticulum and it is caesural is not true. sent8: the Minnesotan is non-neuter if there is something such that it is maxillomandibular. sent9: if the Orangeman is not a muskellunge and is not cleistogamous then the yataghan is not cleistogamous. sent10: the satyr is not neuter if that the Minnesotan is neuter and it sides myopathy is not right. sent11: if something is not collegiate then it is not a Saurosuchus and it is not a crack. sent12: everything is not collegiate. sent13: something does not side myopathy and is not cleistogamous if it is non-neuter. sent14: if the Minnesotan does not side myopathy the yataghan is a kind of non-caesural thing that does not side myopathy. sent15: there is something such that the fact that it is not maxillomandibular and is Ptolemaic is not correct. ; $proof$ = 
sent15 & sent1 -> int1: the Minnesotan is not a neuter.; sent13 -> int2: the Minnesotan does not side myopathy and is not cleistogamous if it is not a neuter.; int1 & int2 -> int3: the Minnesotan does not side myopathy and is not cleistogamous.; int3 -> int4: the Minnesotan does not side myopathy.; int4 & sent14 -> int5: the yataghan is not caesural and it does not side myopathy.; int5 -> hypothesis; __PROVED__