the akee is not a follower and it does not champion bister.
sent1: there exists something such that the fact that it is Gallic and it does not snow is false. sent2: if there exists something such that that it is a plainclothesman and it is not factory-made is not true then the akee is a snow. sent3: if the akee is thermionics then it is not a kind of a distention and it is not propitious. sent4: there exists something such that it is tuberous. sent5: if that the akee is a kind of a distention and it is a merchantability is not true then it is not a thief. sent6: if the akee snows then it does not champion bister and is not a distention. sent7: there is something such that that it is a plainclothesman and not factory-made is wrong. sent8: the placeman is not propitious if that it is both thermionics and Gallic does not hold. sent9: the akee is not a follower and does not hug melodiousness if the placeman is not propitious. sent10: if there exists something such that it is tuberous then that the placeman is thermionics and it is Gallic is wrong. sent11: the placeman does not snow and it does not hug melodiousness if it is Gallic. sent12: that the verapamil is not Gallic if the verapamil is not a kind of a primateship is not false.
sent4 & sent10 -> int1: that the placeman is thermionics and it is Gallic is false.; int1 & sent8 -> int2: the placeman is not propitious.; int2 & sent9 -> int3: the akee is not a follower and does not hug melodiousness.; int3 -> int4: the fact that the akee is not a follower is true.; sent7 & sent2 -> int5: the akee is a snow.; sent6 & int5 -> int6: the akee does not champion bister and it is not a distention.; int6 -> int7: the akee does not champion bister.; int4 & int7 -> hypothesis;
$hypothesis$ = the akee is not a follower and it does not champion bister. ; $context$ = sent1: there exists something such that the fact that it is Gallic and it does not snow is false. sent2: if there exists something such that that it is a plainclothesman and it is not factory-made is not true then the akee is a snow. sent3: if the akee is thermionics then it is not a kind of a distention and it is not propitious. sent4: there exists something such that it is tuberous. sent5: if that the akee is a kind of a distention and it is a merchantability is not true then it is not a thief. sent6: if the akee snows then it does not champion bister and is not a distention. sent7: there is something such that that it is a plainclothesman and not factory-made is wrong. sent8: the placeman is not propitious if that it is both thermionics and Gallic does not hold. sent9: the akee is not a follower and does not hug melodiousness if the placeman is not propitious. sent10: if there exists something such that it is tuberous then that the placeman is thermionics and it is Gallic is wrong. sent11: the placeman does not snow and it does not hug melodiousness if it is Gallic. sent12: that the verapamil is not Gallic if the verapamil is not a kind of a primateship is not false. ; $proof$ = 
sent4 & sent10 -> int1: that the placeman is thermionics and it is Gallic is false.; int1 & sent8 -> int2: the placeman is not propitious.; int2 & sent9 -> int3: the akee is not a follower and does not hug melodiousness.; int3 -> int4: the fact that the akee is not a follower is true.; sent7 & sent2 -> int5: the akee is a snow.; sent6 & int5 -> int6: the akee does not champion bister and it is not a distention.; int6 -> int7: the akee does not champion bister.; int4 & int7 -> hypothesis; __PROVED__