the Angevin is a shovel.
sent1: that the machete is not Grenadian but a subclass is wrong if the puritan is not a kind of a Grenadian. sent2: the fact that the hydromel is not a kind of a lair is not false if there is something such that that it is non-Singhalese thing that is not basophilic does not hold. sent3: if the machete is a Grenadian then the fact that the Angevin is not natal is right. sent4: that something is a subclass and/or it is not natal is not correct if it is a nautilus. sent5: if either the Angevin is non-natal or it is not a nautilus or both then that it does not shovel is correct. sent6: the Angevin is not natal if that the machete is not a kind of a Grenadian but it is a subclass is not right. sent7: there exists something such that that it is a kind of an annihilation or is a kind of a moroseness or both is not correct. sent8: if that the gutter is either a subclass or not natal or both is not right the fact that the machete is not Grenadian hold. sent9: the biont is not a ocotillo if there exists something such that that it is a kind of an annihilation or is a kind of a moroseness or both does not hold. sent10: the fact that the machete is both not a subclass and natal is false. sent11: something is a shovel if it is a Grenadian. sent12: that something is non-Singhalese thing that is not basophilic is not correct if it is not a ocotillo. sent13: everything is not a kind of a Grenadian. sent14: something is a nautilus if that it is a kind of a lair that is not integumentary is wrong.
sent13 -> int1: the puritan is not a Grenadian.; int1 & sent1 -> int2: that the machete is both not Grenadian and a subclass is not true.; int2 & sent6 -> int3: the Angevin is not natal.; int3 -> int4: the Angevin is non-natal and/or is not a nautilus.; int4 & sent5 -> hypothesis;
the Angevin does shovel.
sent11 -> int5: if the Angevin is a Grenadian it does shovel.; sent4 -> int6: that the gutter is a subclass and/or it is not natal is incorrect if it is a nautilus.; sent14 -> int7: the gutter is a kind of a nautilus if the fact that it is a lair but not integumentary is false.; sent12 -> int8: if that the biont is not a kind of a ocotillo is right that it is a kind of non-Singhalese thing that is not basophilic is incorrect.; sent7 & sent9 -> int9: the biont is not a kind of a ocotillo.; int8 & int9 -> int10: the fact that the biont is not Singhalese and it is not basophilic is false.; int10 -> int11: there is something such that the fact that it is not Singhalese and it is not basophilic does not hold.; int11 & sent2 -> int12: the hydromel is not a kind of a lair.; int12 -> int13: there is something such that it is not a lair.;
$hypothesis$ = the Angevin is a shovel. ; $context$ = sent1: that the machete is not Grenadian but a subclass is wrong if the puritan is not a kind of a Grenadian. sent2: the fact that the hydromel is not a kind of a lair is not false if there is something such that that it is non-Singhalese thing that is not basophilic does not hold. sent3: if the machete is a Grenadian then the fact that the Angevin is not natal is right. sent4: that something is a subclass and/or it is not natal is not correct if it is a nautilus. sent5: if either the Angevin is non-natal or it is not a nautilus or both then that it does not shovel is correct. sent6: the Angevin is not natal if that the machete is not a kind of a Grenadian but it is a subclass is not right. sent7: there exists something such that that it is a kind of an annihilation or is a kind of a moroseness or both is not correct. sent8: if that the gutter is either a subclass or not natal or both is not right the fact that the machete is not Grenadian hold. sent9: the biont is not a ocotillo if there exists something such that that it is a kind of an annihilation or is a kind of a moroseness or both does not hold. sent10: the fact that the machete is both not a subclass and natal is false. sent11: something is a shovel if it is a Grenadian. sent12: that something is non-Singhalese thing that is not basophilic is not correct if it is not a ocotillo. sent13: everything is not a kind of a Grenadian. sent14: something is a nautilus if that it is a kind of a lair that is not integumentary is wrong. ; $proof$ = 
sent13 -> int1: the puritan is not a Grenadian.; int1 & sent1 -> int2: that the machete is both not Grenadian and a subclass is not true.; int2 & sent6 -> int3: the Angevin is not natal.; int3 -> int4: the Angevin is non-natal and/or is not a nautilus.; int4 & sent5 -> hypothesis; __DISPROVED__