the burg is not a fish.
sent1: the Canella-alba is a callowness. sent2: the burg is not an impressionist. sent3: the Canella-alba fishes. sent4: if the second-rater is non-impressionist then the fact that the Canella-alba is not a Joachim and/or is a greenskeeper is wrong. sent5: that the fornication is both not a greenskeeper and not a callowness hold. sent6: if something urticates knife then it is not a kind of a Culicidae. sent7: the omega-6 is not a kind of a Biscutella. sent8: if the bismark is not a kind of a Culicidae then the sister does not void and does expectorate. sent9: that the Canella-alba is both a Joachim and a greenskeeper hold. sent10: if the omega-6 is not non-Gnostic the bismark does urticate knife. sent11: something is both not an organ and a Leontocebus if it is a Turkoman. sent12: something is a Joachim and is fresh if it is not a greenskeeper. sent13: if something that is not an organ is a Leontocebus it is a Gnostic. sent14: the omega-6 is not unmade if the Wesleyan is unmade and non-Lincolnesque. sent15: the burg is a kind of a greenskeeper. sent16: the Canella-alba is a kind of an accent. sent17: if the omega-6 is not a Biscutella and it is not unmade that it is a kind of a Turkoman is not wrong. sent18: the Canella-alba is impressionist and it is a callowness. sent19: if the Canella-alba is a Joachim and it is an impressionist the burg is not a fish. sent20: if something is not a callowness then it is not an impressionist. sent21: the Wesleyan is made thing that is not Lincolnesque. sent22: if that that the Canella-alba is either not a Joachim or a greenskeeper or both is wrong is true then the burg does fish.
sent9 -> int1: the Canella-alba is a Joachim.; sent18 -> int2: the Canella-alba is an impressionist.; int1 & int2 -> int3: the Canella-alba is a kind of a Joachim and it is impressionist.; int3 & sent19 -> hypothesis;
the fornication is fresh and is an impressionist.
sent12 -> int4: if the fact that the fornication is not a kind of a greenskeeper hold it is a kind of a Joachim and it is fresh.; sent5 -> int5: the fornication is not a greenskeeper.; int4 & int5 -> int6: that the fornication is a kind of a Joachim and it is fresh is right.; int6 -> int7: the fornication is fresh.;
$hypothesis$ = the burg is not a fish. ; $context$ = sent1: the Canella-alba is a callowness. sent2: the burg is not an impressionist. sent3: the Canella-alba fishes. sent4: if the second-rater is non-impressionist then the fact that the Canella-alba is not a Joachim and/or is a greenskeeper is wrong. sent5: that the fornication is both not a greenskeeper and not a callowness hold. sent6: if something urticates knife then it is not a kind of a Culicidae. sent7: the omega-6 is not a kind of a Biscutella. sent8: if the bismark is not a kind of a Culicidae then the sister does not void and does expectorate. sent9: that the Canella-alba is both a Joachim and a greenskeeper hold. sent10: if the omega-6 is not non-Gnostic the bismark does urticate knife. sent11: something is both not an organ and a Leontocebus if it is a Turkoman. sent12: something is a Joachim and is fresh if it is not a greenskeeper. sent13: if something that is not an organ is a Leontocebus it is a Gnostic. sent14: the omega-6 is not unmade if the Wesleyan is unmade and non-Lincolnesque. sent15: the burg is a kind of a greenskeeper. sent16: the Canella-alba is a kind of an accent. sent17: if the omega-6 is not a Biscutella and it is not unmade that it is a kind of a Turkoman is not wrong. sent18: the Canella-alba is impressionist and it is a callowness. sent19: if the Canella-alba is a Joachim and it is an impressionist the burg is not a fish. sent20: if something is not a callowness then it is not an impressionist. sent21: the Wesleyan is made thing that is not Lincolnesque. sent22: if that that the Canella-alba is either not a Joachim or a greenskeeper or both is wrong is true then the burg does fish. ; $proof$ = 
sent9 -> int1: the Canella-alba is a Joachim.; sent18 -> int2: the Canella-alba is an impressionist.; int1 & int2 -> int3: the Canella-alba is a kind of a Joachim and it is impressionist.; int3 & sent19 -> hypothesis; __PROVED__