the dauphin is Panamanian.
sent1: something is a profanity and it does trice Hellenism. sent2: if the fact that the ratline is both indicative and not a Welshman is not true the dauphin is Panamanian. sent3: if the ratline is not a Podargidae then the fact that the delayer is a stray and is not analphabetic is wrong. sent4: that the shovel is a kind of a arthropathy that is not a Welshman does not hold if it is not a profanity. sent5: the fact that the shovel is not a kind of a regeneration and trices dauphin is not true. sent6: that the delayer is not a kind of a arthropathy and is indicative does not hold. sent7: the delayer is a kind of a Podargidae if there exists something such that it is not a profanity and trices Hellenism. sent8: the shovel does not trice dauphin if the fact that it is not a regeneration and it does trice dauphin is not right. sent9: the delayer is not a arthropathy if it is both analphabetic and a Podargidae. sent10: there exists something such that it strays. sent11: the fact that the shovel does trice Hellenism but it does not trice Nothofagus is false if it does not trice dauphin. sent12: if the delayer is not an indicative then that the ratline is a kind of an indicative that is not a Welshman is not correct. sent13: if there exists something such that the fact that it is a arthropathy and it is not a Welshman is not true then the kiddy is not a arthropathy. sent14: the fact that the ratline is indicative a Welshman does not hold. sent15: if there is something such that the fact that it is both a Podargidae and not an indicative is incorrect the ratline is not a Podargidae. sent16: there exists something such that it trices Hellenism. sent17: if the fact that the shovel trices Hellenism but it does not trice Nothofagus is incorrect it is not a kind of a profanity. sent18: the delayer is analphabetic if there is something such that it strays. sent19: there is something such that it is not a profanity and trices Hellenism.
sent10 & sent18 -> int1: the delayer is analphabetic.; sent19 & sent7 -> int2: the delayer is a Podargidae.; int1 & int2 -> int3: the delayer is analphabetic and is a Podargidae.; int3 & sent9 -> int4: the delayer is not a arthropathy.; void -> assump1: Let's assume that the delayer is indicative.; int4 & assump1 -> int5: that the delayer is not a arthropathy and is an indicative is not false.; int5 & sent6 -> int6: this is contradiction.; [assump1] & int6 -> int7: the delayer is not a kind of an indicative.; int7 & sent12 -> int8: that the ratline is indicative but not a Welshman does not hold.; int8 & sent2 -> hypothesis;
the dauphin is not Panamanian.
sent8 & sent5 -> int9: the shovel does not trice dauphin.; sent11 & int9 -> int10: that the shovel does trice Hellenism but it does not trice Nothofagus does not hold.; sent17 & int10 -> int11: the shovel is not a profanity.; sent4 & int11 -> int12: that the shovel is a arthropathy but it is not a Welshman does not hold.; int12 -> int13: there is something such that the fact that it is a arthropathy and is not a Welshman is not true.; int13 & sent13 -> int14: the kiddy is not a kind of a arthropathy.;
$hypothesis$ = the dauphin is Panamanian. ; $context$ = sent1: something is a profanity and it does trice Hellenism. sent2: if the fact that the ratline is both indicative and not a Welshman is not true the dauphin is Panamanian. sent3: if the ratline is not a Podargidae then the fact that the delayer is a stray and is not analphabetic is wrong. sent4: that the shovel is a kind of a arthropathy that is not a Welshman does not hold if it is not a profanity. sent5: the fact that the shovel is not a kind of a regeneration and trices dauphin is not true. sent6: that the delayer is not a kind of a arthropathy and is indicative does not hold. sent7: the delayer is a kind of a Podargidae if there exists something such that it is not a profanity and trices Hellenism. sent8: the shovel does not trice dauphin if the fact that it is not a regeneration and it does trice dauphin is not right. sent9: the delayer is not a arthropathy if it is both analphabetic and a Podargidae. sent10: there exists something such that it strays. sent11: the fact that the shovel does trice Hellenism but it does not trice Nothofagus is false if it does not trice dauphin. sent12: if the delayer is not an indicative then that the ratline is a kind of an indicative that is not a Welshman is not correct. sent13: if there exists something such that the fact that it is a arthropathy and it is not a Welshman is not true then the kiddy is not a arthropathy. sent14: the fact that the ratline is indicative a Welshman does not hold. sent15: if there is something such that the fact that it is both a Podargidae and not an indicative is incorrect the ratline is not a Podargidae. sent16: there exists something such that it trices Hellenism. sent17: if the fact that the shovel trices Hellenism but it does not trice Nothofagus is incorrect it is not a kind of a profanity. sent18: the delayer is analphabetic if there is something such that it strays. sent19: there is something such that it is not a profanity and trices Hellenism. ; $proof$ = 
sent10 & sent18 -> int1: the delayer is analphabetic.; sent19 & sent7 -> int2: the delayer is a Podargidae.; int1 & int2 -> int3: the delayer is analphabetic and is a Podargidae.; int3 & sent9 -> int4: the delayer is not a arthropathy.; void -> assump1: Let's assume that the delayer is indicative.; int4 & assump1 -> int5: that the delayer is not a arthropathy and is an indicative is not false.; int5 & sent6 -> int6: this is contradiction.; [assump1] & int6 -> int7: the delayer is not a kind of an indicative.; int7 & sent12 -> int8: that the ratline is indicative but not a Welshman does not hold.; int8 & sent2 -> hypothesis; __PROVED__