the floe is not a kind of a mediastinum.
sent1: if the halite invests cuddy the adapter does misgive permissibility. sent2: if something does not unloose homogeny then it is a sard. sent3: if the chrysoprase does not invest cuddy and does invest clamber it does not misgive permissibility. sent4: the megalosaur is not a kind of a mediastinum if it invests scene. sent5: if something is a mediastinum or is a sard or both the annihilator does not invest obtuseness. sent6: if there exists something such that it is a sard then that the annihilator is a kind of a polygene and it does invest obtuseness is not true. sent7: the chrysoprase does not unloose homogeny if the adapter either does not unloose homogeny or is causative or both. sent8: the halite does invest cuddy and it invests clamber if the horsehide does not unloose button-quail. sent9: if the annihilator does not invest obtuseness that the trigon is not a kind of a polygene and does not unloose actuator is incorrect. sent10: the adapter does not tabulate busywork. sent11: the chrysoprase does invest clamber and unlooses button-quail if the adapter does not tabulate busywork. sent12: the chrysoprase does not invest cuddy. sent13: something is not a kind of a Jainism if it is a cupbearer. sent14: the horsehide does not unloose button-quail if the fact that it does tabulate busywork and does unloose button-quail is not correct. sent15: the fact that the horsehide tabulates busywork and does unloose button-quail is incorrect. sent16: if the fact that the floe does not invest obtuseness and it is not a polygene is wrong then it is a kind of a polygene. sent17: that the floe does not invest obtuseness but it is a polygene does not hold. sent18: if something does not misgive permissibility then it does unloose homogeny and is causative. sent19: something is not a kind of a mediastinum if it is a polygene. sent20: something is a kind of a mediastinum if the fact that it unlooses homogeny is not false.
sent19 -> int1: if the floe is a polygene it is not a kind of a mediastinum.;
that the trigon is not a polygene and does not unloose actuator does not hold.
sent20 -> int2: if the chrysoprase unlooses homogeny then it is a mediastinum.; sent18 -> int3: if the chrysoprase does not misgive permissibility it does unloose homogeny and is causative.; sent11 & sent10 -> int4: the chrysoprase does invest clamber and it does unloose button-quail.; int4 -> int5: the fact that the chrysoprase does invest clamber is correct.; sent12 & int5 -> int6: the chrysoprase does not invest cuddy but it does invest clamber.; sent3 & int6 -> int7: the fact that the chrysoprase does not misgive permissibility is true.; int3 & int7 -> int8: the chrysoprase unlooses homogeny and is causative.; int8 -> int9: the chrysoprase does unloose homogeny.; int2 & int9 -> int10: the chrysoprase is a mediastinum.; int10 -> int11: the chrysoprase is a mediastinum and/or it is a kind of a sard.; int11 -> int12: either something is a mediastinum or it is a sard or both.; int12 & sent5 -> int13: the annihilator does not invest obtuseness.; sent9 & int13 -> hypothesis;
$hypothesis$ = the floe is not a kind of a mediastinum. ; $context$ = sent1: if the halite invests cuddy the adapter does misgive permissibility. sent2: if something does not unloose homogeny then it is a sard. sent3: if the chrysoprase does not invest cuddy and does invest clamber it does not misgive permissibility. sent4: the megalosaur is not a kind of a mediastinum if it invests scene. sent5: if something is a mediastinum or is a sard or both the annihilator does not invest obtuseness. sent6: if there exists something such that it is a sard then that the annihilator is a kind of a polygene and it does invest obtuseness is not true. sent7: the chrysoprase does not unloose homogeny if the adapter either does not unloose homogeny or is causative or both. sent8: the halite does invest cuddy and it invests clamber if the horsehide does not unloose button-quail. sent9: if the annihilator does not invest obtuseness that the trigon is not a kind of a polygene and does not unloose actuator is incorrect. sent10: the adapter does not tabulate busywork. sent11: the chrysoprase does invest clamber and unlooses button-quail if the adapter does not tabulate busywork. sent12: the chrysoprase does not invest cuddy. sent13: something is not a kind of a Jainism if it is a cupbearer. sent14: the horsehide does not unloose button-quail if the fact that it does tabulate busywork and does unloose button-quail is not correct. sent15: the fact that the horsehide tabulates busywork and does unloose button-quail is incorrect. sent16: if the fact that the floe does not invest obtuseness and it is not a polygene is wrong then it is a kind of a polygene. sent17: that the floe does not invest obtuseness but it is a polygene does not hold. sent18: if something does not misgive permissibility then it does unloose homogeny and is causative. sent19: something is not a kind of a mediastinum if it is a polygene. sent20: something is a kind of a mediastinum if the fact that it unlooses homogeny is not false. ; $proof$ = 
sent19 -> int1: if the floe is a polygene it is not a kind of a mediastinum.; __UNKNOWN__