the Canuck is not a Kinsey.
sent1: if something is not ectomorphic then that it is a kind of uncivil thing that is a Laos does not hold. sent2: that the rosebay is both a Laos and a three does not hold if the delphinium is not a three. sent3: the fact that the rosebay is a Laos and it does assemble rheostat is not right if the delphinium does not assemble rheostat. sent4: if the fact that the delphinium is not a three and does assemble care is not true the Canuck is not a three. sent5: the gallfly does land curandero and is a program if the radial is not autarchic. sent6: if something is not Laos then the fact that it is not a three and does assemble care is not right. sent7: the fact that the radial is leaning thing that is not a kind of a March is not correct if it is a bob. sent8: something is not a Laos if that it is uncivil and it is Laos is incorrect. sent9: if the delphinium is not a Kinsey then that the Canuck does not assemble rheostat is right. sent10: if the fact that the gallfly is a program is correct then that the rosebay is not a shiva and is a Jacksonian is incorrect. sent11: the delphinium does not assemble rheostat and it is not a kind of a three. sent12: if that the radial is leaning but it is not a March does not hold then it is non-autarchic. sent13: the delphinium does not assemble rheostat. sent14: the radial does bob. sent15: if that the rosebay assembles rheostat and it is a three is not right the fact that the delphinium is not Laos hold. sent16: the Canuck is not a Kinsey if the fact that the rosebay is a kind of a Laos and it is a three is not correct.
sent11 -> int1: the delphinium is not a three.; sent2 & int1 -> int2: the fact that the rosebay is Laos thing that is a three is not true.; sent16 & int2 -> hypothesis;
the fact that the Canuck is a Kinsey is not wrong.
sent6 -> int3: the fact that the delphinium is not a kind of a three but it does assemble care does not hold if it is not Laos.; sent8 -> int4: the delphinium is not a Laos if that it is uncivil and it is a Laos is not true.; sent1 -> int5: that the delphinium is both uncivil and Laos does not hold if it is not ectomorphic.; sent7 & sent14 -> int6: the fact that the radial leans but it is not a March is not right.; sent12 & int6 -> int7: the radial is not autarchic.; sent5 & int7 -> int8: the gallfly does land curandero and it programs.; int8 -> int9: the gallfly programs.; sent10 & int9 -> int10: that the rosebay is not a shiva and is a Jacksonian is not right.; int10 -> int11: there is something such that that it is not a shiva but Jacksonian is false.;
$hypothesis$ = the Canuck is not a Kinsey. ; $context$ = sent1: if something is not ectomorphic then that it is a kind of uncivil thing that is a Laos does not hold. sent2: that the rosebay is both a Laos and a three does not hold if the delphinium is not a three. sent3: the fact that the rosebay is a Laos and it does assemble rheostat is not right if the delphinium does not assemble rheostat. sent4: if the fact that the delphinium is not a three and does assemble care is not true the Canuck is not a three. sent5: the gallfly does land curandero and is a program if the radial is not autarchic. sent6: if something is not Laos then the fact that it is not a three and does assemble care is not right. sent7: the fact that the radial is leaning thing that is not a kind of a March is not correct if it is a bob. sent8: something is not a Laos if that it is uncivil and it is Laos is incorrect. sent9: if the delphinium is not a Kinsey then that the Canuck does not assemble rheostat is right. sent10: if the fact that the gallfly is a program is correct then that the rosebay is not a shiva and is a Jacksonian is incorrect. sent11: the delphinium does not assemble rheostat and it is not a kind of a three. sent12: if that the radial is leaning but it is not a March does not hold then it is non-autarchic. sent13: the delphinium does not assemble rheostat. sent14: the radial does bob. sent15: if that the rosebay assembles rheostat and it is a three is not right the fact that the delphinium is not Laos hold. sent16: the Canuck is not a Kinsey if the fact that the rosebay is a kind of a Laos and it is a three is not correct. ; $proof$ = 
sent11 -> int1: the delphinium is not a three.; sent2 & int1 -> int2: the fact that the rosebay is Laos thing that is a three is not true.; sent16 & int2 -> hypothesis; __PROVED__