the moray is androgenic and it is a rapporteur.
sent1: the citrus is a armet. sent2: the autodidact is a armet. sent3: something is anemometric and it is a kind of a fritter. sent4: the moray is a rapporteur if something that does not etiolate is exocentric. sent5: the moray is androgenic if the citrus is a nightrider. sent6: the Munchener is a kind of an aesthetic. sent7: if there exists something such that it is a kind of aesthetic a armet the fundraiser does not permit moray. sent8: the fact that if something does not permit moray it is Demosthenic and it is not a fritter is right. sent9: the autodidact is not anemometric. sent10: that something does not face but it does boot Calocarpum if that it is not inaesthetic is not wrong is correct. sent11: the autodidact does not etiolate but it is exocentric if it is not anemometric. sent12: if the fundraiser is Demosthenic thing that is not a fritter then the citrus is a nightrider. sent13: the Munchener is a kind of a armet.
sent6 & sent13 -> int1: the Munchener is aesthetic and it is a armet.; int1 -> int2: there is something such that it is an aesthetic and it is a armet.; int2 & sent7 -> int3: the fundraiser does not permit moray.; sent8 -> int4: if the fundraiser does not permit moray it is Demosthenic and does not fritter.; int3 & int4 -> int5: the fact that the fundraiser is Demosthenic thing that is not a kind of a fritter is correct.; int5 & sent12 -> int6: the citrus is a nightrider.; int6 & sent5 -> int7: the moray is androgenic.; sent11 & sent9 -> int8: the autodidact does not etiolate and is exocentric.; int8 -> int9: something does not etiolate and is exocentric.; int9 & sent4 -> int10: the moray is a rapporteur.; int7 & int10 -> hypothesis;
the transept does not face and does boot Calocarpum.
sent10 -> int11: the transept is not a kind of a facing but it boots Calocarpum if it is a kind of an aesthetic.;
$hypothesis$ = the moray is androgenic and it is a rapporteur. ; $context$ = sent1: the citrus is a armet. sent2: the autodidact is a armet. sent3: something is anemometric and it is a kind of a fritter. sent4: the moray is a rapporteur if something that does not etiolate is exocentric. sent5: the moray is androgenic if the citrus is a nightrider. sent6: the Munchener is a kind of an aesthetic. sent7: if there exists something such that it is a kind of aesthetic a armet the fundraiser does not permit moray. sent8: the fact that if something does not permit moray it is Demosthenic and it is not a fritter is right. sent9: the autodidact is not anemometric. sent10: that something does not face but it does boot Calocarpum if that it is not inaesthetic is not wrong is correct. sent11: the autodidact does not etiolate but it is exocentric if it is not anemometric. sent12: if the fundraiser is Demosthenic thing that is not a fritter then the citrus is a nightrider. sent13: the Munchener is a kind of a armet. ; $proof$ = 
sent6 & sent13 -> int1: the Munchener is aesthetic and it is a armet.; int1 -> int2: there is something such that it is an aesthetic and it is a armet.; int2 & sent7 -> int3: the fundraiser does not permit moray.; sent8 -> int4: if the fundraiser does not permit moray it is Demosthenic and does not fritter.; int3 & int4 -> int5: the fact that the fundraiser is Demosthenic thing that is not a kind of a fritter is correct.; int5 & sent12 -> int6: the citrus is a nightrider.; int6 & sent5 -> int7: the moray is androgenic.; sent11 & sent9 -> int8: the autodidact does not etiolate and is exocentric.; int8 -> int9: something does not etiolate and is exocentric.; int9 & sent4 -> int10: the moray is a rapporteur.; int7 & int10 -> hypothesis; __PROVED__