the fact that if that the goat is not fungal but it is grateful is false then the tarpon does not meddle is false.
sent1: the calceus is a rack if the tarpon is not a tape but it meddles. sent2: the fact that the goat is both fungal and grateful is not true. sent3: The co-discoverer enlivens calceus. sent4: the tarpon is haemophilic. sent5: if the goat is not fungal and is not ungrateful then the tarpon does not meddle. sent6: if the calceus either reassails poultice or does size or both then it does not meddle. sent7: if the calceus is not a tape but it enlivens co-discoverer then the tarpon does not meddle. sent8: the goat is not fungal if the fact that it tapes and it does meddle is not wrong. sent9: the calceus is a size. sent10: the calceus is a rack. sent11: the fact that the goat is not a tape is not wrong. sent12: if that the calceus is a propanolol and a rack is not false then it does not tape. sent13: the poultice meddles. sent14: the calceus enlivens co-discoverer. sent15: the calceus does reassail Euthynnus. sent16: the calceus is a propanolol if the fact that the goat is non-fungal but it is grateful does not hold. sent17: the goat is fungal. sent18: if the fact that the calceus is not a tape but it meddles is wrong then the tarpon is not a kind of a propanolol. sent19: the goat is not grateful. sent20: the calceus is a kind of a propanolol if the goat is not fungal but it is grateful. sent21: if there is something such that the fact that it does rack and it is not a propanolol does not hold then the goat is not a kind of a rack.
void -> assump1: Let's assume that the fact that the goat is both not fungal and grateful is not correct.; sent16 & assump1 -> int1: the calceus is a kind of a propanolol.; int1 & sent10 -> int2: the calceus is a kind of a propanolol and is a rack.; int2 & sent12 -> int3: the calceus is not a kind of a tape.; int3 & sent14 -> int4: the calceus is not a tape and enlivens co-discoverer.; int4 & sent7 -> int5: the tarpon does not meddle.; [assump1] & int5 -> hypothesis;
that the goat does not rack is true.
sent9 -> int6: either the calceus does reassail poultice or it is a size or both.; sent6 & int6 -> int7: the calceus does not meddle.; int7 -> int8: the calceus either does not meddle or does not enliven co-discoverer or both.;
$hypothesis$ = the fact that if that the goat is not fungal but it is grateful is false then the tarpon does not meddle is false. ; $context$ = sent1: the calceus is a rack if the tarpon is not a tape but it meddles. sent2: the fact that the goat is both fungal and grateful is not true. sent3: The co-discoverer enlivens calceus. sent4: the tarpon is haemophilic. sent5: if the goat is not fungal and is not ungrateful then the tarpon does not meddle. sent6: if the calceus either reassails poultice or does size or both then it does not meddle. sent7: if the calceus is not a tape but it enlivens co-discoverer then the tarpon does not meddle. sent8: the goat is not fungal if the fact that it tapes and it does meddle is not wrong. sent9: the calceus is a size. sent10: the calceus is a rack. sent11: the fact that the goat is not a tape is not wrong. sent12: if that the calceus is a propanolol and a rack is not false then it does not tape. sent13: the poultice meddles. sent14: the calceus enlivens co-discoverer. sent15: the calceus does reassail Euthynnus. sent16: the calceus is a propanolol if the fact that the goat is non-fungal but it is grateful does not hold. sent17: the goat is fungal. sent18: if the fact that the calceus is not a tape but it meddles is wrong then the tarpon is not a kind of a propanolol. sent19: the goat is not grateful. sent20: the calceus is a kind of a propanolol if the goat is not fungal but it is grateful. sent21: if there is something such that the fact that it does rack and it is not a propanolol does not hold then the goat is not a kind of a rack. ; $proof$ = 
void -> assump1: Let's assume that the fact that the goat is both not fungal and grateful is not correct.; sent16 & assump1 -> int1: the calceus is a kind of a propanolol.; int1 & sent10 -> int2: the calceus is a kind of a propanolol and is a rack.; int2 & sent12 -> int3: the calceus is not a kind of a tape.; int3 & sent14 -> int4: the calceus is not a tape and enlivens co-discoverer.; int4 & sent7 -> int5: the tarpon does not meddle.; [assump1] & int5 -> hypothesis; __DISPROVED__