the beachcomber is a blackbird.
sent1: if the beachcomber is not a Gwynn but it does ratchet dram then the gadolinite is an expressionist. sent2: the fact that the gadolinite does not ratchet dram if there is something such that it does intensify funiculus is right. sent3: the DISA does not complexion but it is psychoanalytical. sent4: if that the gadolinite ratchets dram and/or it is a Gwynn is incorrect the DISA is not a kind of a Malian. sent5: the gadolinite is a Gwynn if the DISA is not a Malian but it is a daycare. sent6: the DISA does ratchet dram. sent7: if the DISA is not Malian then the peccary is not a daycare but off-site. sent8: if the beachcomber does not ratchet dram the peccary is not blackbird but it is a daycare. sent9: something that intensifies funiculus does not ratchet dram and is a kind of a blackbird. sent10: the peccary is not a kind of a daycare. sent11: if the peccary is not a daycare but off-site then the wild is a blackbird. sent12: the fact that the DISA is not off-site is right if the peccary does ratchet esker but it is not an expressionist. sent13: the gadolinite does not ratchet dram. sent14: the gadolinite is not a kind of a Gwynn but it is blackbird if the beachcomber is a blackbird. sent15: there is something such that it intensifies funiculus. sent16: the DISA is not a Malian but it is a kind of a daycare if it is not off-site. sent17: the beachcomber is not an expressionist but it is a kind of a blackbird if the wild is blackbird. sent18: that the gadolinite ratchets dram or it is a kind of a Gwynn or both is incorrect if there is something such that it intensifies funiculus. sent19: the beachcomber is not a daycare but an expressionist if the peccary is a kind of an expressionist.
sent15 & sent18 -> int1: that the gadolinite either does ratchet dram or is a Gwynn or both is incorrect.; int1 & sent4 -> int2: the DISA is not Malian.; int2 & sent7 -> int3: the fact that the peccary is not a daycare but it is off-site is not wrong.; int3 & sent11 -> int4: the wild is a blackbird.; int4 & sent17 -> int5: the beachcomber is not an expressionist but it is a kind of a blackbird.; int5 -> hypothesis;
the beachcomber is not a blackbird.
sent9 -> int6: the gadolinite does not ratchet dram and is a blackbird if it does intensify funiculus.;
$hypothesis$ = the beachcomber is a blackbird. ; $context$ = sent1: if the beachcomber is not a Gwynn but it does ratchet dram then the gadolinite is an expressionist. sent2: the fact that the gadolinite does not ratchet dram if there is something such that it does intensify funiculus is right. sent3: the DISA does not complexion but it is psychoanalytical. sent4: if that the gadolinite ratchets dram and/or it is a Gwynn is incorrect the DISA is not a kind of a Malian. sent5: the gadolinite is a Gwynn if the DISA is not a Malian but it is a daycare. sent6: the DISA does ratchet dram. sent7: if the DISA is not Malian then the peccary is not a daycare but off-site. sent8: if the beachcomber does not ratchet dram the peccary is not blackbird but it is a daycare. sent9: something that intensifies funiculus does not ratchet dram and is a kind of a blackbird. sent10: the peccary is not a kind of a daycare. sent11: if the peccary is not a daycare but off-site then the wild is a blackbird. sent12: the fact that the DISA is not off-site is right if the peccary does ratchet esker but it is not an expressionist. sent13: the gadolinite does not ratchet dram. sent14: the gadolinite is not a kind of a Gwynn but it is blackbird if the beachcomber is a blackbird. sent15: there is something such that it intensifies funiculus. sent16: the DISA is not a Malian but it is a kind of a daycare if it is not off-site. sent17: the beachcomber is not an expressionist but it is a kind of a blackbird if the wild is blackbird. sent18: that the gadolinite ratchets dram or it is a kind of a Gwynn or both is incorrect if there is something such that it intensifies funiculus. sent19: the beachcomber is not a daycare but an expressionist if the peccary is a kind of an expressionist. ; $proof$ = 
sent15 & sent18 -> int1: that the gadolinite either does ratchet dram or is a Gwynn or both is incorrect.; int1 & sent4 -> int2: the DISA is not Malian.; int2 & sent7 -> int3: the fact that the peccary is not a daycare but it is off-site is not wrong.; int3 & sent11 -> int4: the wild is a blackbird.; int4 & sent17 -> int5: the beachcomber is not an expressionist but it is a kind of a blackbird.; int5 -> hypothesis; __PROVED__