there exists something such that it is non-metric and it is an admiralty.
sent1: the fact that the anglophobe is regional but it is not a kind of a sentence is wrong if the fact that it is a Malian is not incorrect. sent2: the porkpie is non-metric. sent3: the porkpie remainders. sent4: the fact that the anglophobe is both not chemotherapeutic and not non-metric does not hold if the alligator is not a sentence. sent5: the heterosexuality is a kind of a solid. sent6: if something is a kind of an admiralty then that it is not a coliphage and not regional does not hold. sent7: the anglophobe is a Malian and is a kind of a Robeson. sent8: that the porkpie is chemotherapeutic is not false. sent9: there is something such that it is an admiralty. sent10: the heterosexuality is a coliphage if there is something such that that it is not a coliphage and not regional is incorrect. sent11: if the fact that something is a kind of non-metric thing that is chemotherapeutic is not right it is chemotherapeutic. sent12: the alligator is not a sentence if it is a Robeson that is Malian. sent13: there is something such that it is not non-agonal and it is inoffensive. sent14: the heterosexuality is regional. sent15: if the porkpie is chemotherapeutic the heterosexuality is non-metric. sent16: that something is non-metric is not false. sent17: if the heterosexuality is non-regional then that that the porkpie is non-metric and is chemotherapeutic is not wrong is incorrect. sent18: the alligator is a Robeson that is a Malian.
sent15 & sent8 -> int1: the heterosexuality is non-metric.;
the vanadinite is an admiralty and lobs paving.
sent11 -> int2: if the fact that the porkpie is non-metric and it is chemotherapeutic is not true that it is not chemotherapeutic is true.; sent7 -> int3: the anglophobe is Malian.; sent1 & int3 -> int4: that the anglophobe is both regional and not a sentence is not correct.; int4 -> int5: there exists something such that the fact that it is regional and does not sentence is wrong.;
$hypothesis$ = there exists something such that it is non-metric and it is an admiralty. ; $context$ = sent1: the fact that the anglophobe is regional but it is not a kind of a sentence is wrong if the fact that it is a Malian is not incorrect. sent2: the porkpie is non-metric. sent3: the porkpie remainders. sent4: the fact that the anglophobe is both not chemotherapeutic and not non-metric does not hold if the alligator is not a sentence. sent5: the heterosexuality is a kind of a solid. sent6: if something is a kind of an admiralty then that it is not a coliphage and not regional does not hold. sent7: the anglophobe is a Malian and is a kind of a Robeson. sent8: that the porkpie is chemotherapeutic is not false. sent9: there is something such that it is an admiralty. sent10: the heterosexuality is a coliphage if there is something such that that it is not a coliphage and not regional is incorrect. sent11: if the fact that something is a kind of non-metric thing that is chemotherapeutic is not right it is chemotherapeutic. sent12: the alligator is not a sentence if it is a Robeson that is Malian. sent13: there is something such that it is not non-agonal and it is inoffensive. sent14: the heterosexuality is regional. sent15: if the porkpie is chemotherapeutic the heterosexuality is non-metric. sent16: that something is non-metric is not false. sent17: if the heterosexuality is non-regional then that that the porkpie is non-metric and is chemotherapeutic is not wrong is incorrect. sent18: the alligator is a Robeson that is a Malian. ; $proof$ = 
sent15 & sent8 -> int1: the heterosexuality is non-metric.; __UNKNOWN__