the botfly is a plant.
sent1: if the microfilm is not nonintellectual then the gouache is nonintellectual. sent2: The Marchantia confederates gouache. sent3: the fact that something is a funicular but it is not nonintellectual is not correct if the fact that it does not confederate gimmickry hold. sent4: if the gouache is not a jewelry then the botfly either is a kind of an active or is not a civilization or both. sent5: the fact that the inga is a jewelry but it is not a Austronesian is incorrect. sent6: there is something such that the fact that it does not plant and it does not confederate gimmickry does not hold. sent7: the fact that either something is not funicular or it succumbs or both is wrong if it is not calculable. sent8: everything is not calculable. sent9: if there exists something such that that it is both not a jewelry and not a Austronesian is incorrect then the fact that the anchorite does not confederate gimmickry is true. sent10: something is not a kind of a plant if it does not confederate Marchantia. sent11: if a non-Austronesian thing confederates gimmickry the fact that it is not a kind of a jewelry is not wrong. sent12: the microfilm is not nonintellectual if that the inga is not a funicular and/or it succumbs is not right. sent13: the gouache confederates Marchantia. sent14: the gouache is not a civilization. sent15: the microfilm is not a kind of an active if the gouache does confederate Marchantia but it is not a civilization. sent16: if there is something such that the fact that it is a funicular and is not nonintellectual is incorrect then the botfly is a plant.
sent13 & sent14 -> int1: the gouache confederates Marchantia and is not a kind of a civilization.; int1 & sent15 -> int2: the microfilm is not an active.; sent3 -> int3: if the anchorite does not confederate gimmickry then the fact that the fact that it is funicular and it is not nonintellectual is not false is incorrect.;
the botfly is not a plant.
sent10 -> int4: the botfly is not a kind of a plant if it does not confederate Marchantia.; sent7 -> int5: that the anchorite is not a funicular and/or it succumbs does not hold if it is not calculable.; sent8 -> int6: the anchorite is not calculable.; int5 & int6 -> int7: the fact that the anchorite is not a kind of a funicular or it does succumb or both is wrong.; int7 -> int8: there exists nothing such that it is not a funicular and/or it does succumb.; int8 -> int9: that either the inga is not a funicular or it does succumb or both is wrong.; sent12 & int9 -> int10: the microfilm is not nonintellectual.; sent1 & int10 -> int11: the gouache is not nonintellectual.; sent11 -> int12: the gouache is not a kind of a jewelry if the fact that it is not a Austronesian and it confederates gimmickry is right.;
$hypothesis$ = the botfly is a plant. ; $context$ = sent1: if the microfilm is not nonintellectual then the gouache is nonintellectual. sent2: The Marchantia confederates gouache. sent3: the fact that something is a funicular but it is not nonintellectual is not correct if the fact that it does not confederate gimmickry hold. sent4: if the gouache is not a jewelry then the botfly either is a kind of an active or is not a civilization or both. sent5: the fact that the inga is a jewelry but it is not a Austronesian is incorrect. sent6: there is something such that the fact that it does not plant and it does not confederate gimmickry does not hold. sent7: the fact that either something is not funicular or it succumbs or both is wrong if it is not calculable. sent8: everything is not calculable. sent9: if there exists something such that that it is both not a jewelry and not a Austronesian is incorrect then the fact that the anchorite does not confederate gimmickry is true. sent10: something is not a kind of a plant if it does not confederate Marchantia. sent11: if a non-Austronesian thing confederates gimmickry the fact that it is not a kind of a jewelry is not wrong. sent12: the microfilm is not nonintellectual if that the inga is not a funicular and/or it succumbs is not right. sent13: the gouache confederates Marchantia. sent14: the gouache is not a civilization. sent15: the microfilm is not a kind of an active if the gouache does confederate Marchantia but it is not a civilization. sent16: if there is something such that the fact that it is a funicular and is not nonintellectual is incorrect then the botfly is a plant. ; $proof$ = 
sent13 & sent14 -> int1: the gouache confederates Marchantia and is not a kind of a civilization.; int1 & sent15 -> int2: the microfilm is not an active.; sent3 -> int3: if the anchorite does not confederate gimmickry then the fact that the fact that it is funicular and it is not nonintellectual is not false is incorrect.; __UNKNOWN__