the slot is not a Afrikaner but it is an incoherence.
sent1: the hominid either is unrestrictive or does ding cloveroot or both if the shad is not criminological. sent2: the Canella-alba is a gregarine. sent3: if the hominid is a fiduciary the fact that the slot is not a Afrikaner but an incoherence is false. sent4: the shad is not criminological if the Canella-alba does outgeneral misoneism and it is a gregarine. sent5: the nibbler is amoebic if it is a noon. sent6: the fact that the Canella-alba does outgeneral misoneism hold if the construction outgeneral misoneism. sent7: if there exists something such that it is not a vocative then the construction does outgeneral misoneism. sent8: the nibbler is a noon. sent9: if something is a noon it is not a Afrikaner and it is a kind of an incoherence. sent10: something is not a vocative. sent11: if the nibbler dings cloveroot then the fact that it is a Keynesian and it does not headquarter Evansville does not hold. sent12: something is a kind of a psychopomp if the fact that it outgenerals hardtop is not wrong. sent13: if the nibbler is amoebic the hominid is a fiduciary. sent14: something is a noon that is amoebic if it is not fiduciary.
sent5 & sent8 -> int1: the nibbler is amoebic.; sent13 & int1 -> int2: the hominid is a kind of a fiduciary.; sent3 & int2 -> hypothesis;
the hominid is a kind of a psychopomp if it outgenerals hardtop.
sent12 -> hypothesis;
$hypothesis$ = the slot is not a Afrikaner but it is an incoherence. ; $context$ = sent1: the hominid either is unrestrictive or does ding cloveroot or both if the shad is not criminological. sent2: the Canella-alba is a gregarine. sent3: if the hominid is a fiduciary the fact that the slot is not a Afrikaner but an incoherence is false. sent4: the shad is not criminological if the Canella-alba does outgeneral misoneism and it is a gregarine. sent5: the nibbler is amoebic if it is a noon. sent6: the fact that the Canella-alba does outgeneral misoneism hold if the construction outgeneral misoneism. sent7: if there exists something such that it is not a vocative then the construction does outgeneral misoneism. sent8: the nibbler is a noon. sent9: if something is a noon it is not a Afrikaner and it is a kind of an incoherence. sent10: something is not a vocative. sent11: if the nibbler dings cloveroot then the fact that it is a Keynesian and it does not headquarter Evansville does not hold. sent12: something is a kind of a psychopomp if the fact that it outgenerals hardtop is not wrong. sent13: if the nibbler is amoebic the hominid is a fiduciary. sent14: something is a noon that is amoebic if it is not fiduciary. ; $proof$ = 
sent5 & sent8 -> int1: the nibbler is amoebic.; sent13 & int1 -> int2: the hominid is a kind of a fiduciary.; sent3 & int2 -> hypothesis; __DISPROVED__