the King is a kind of a goby.
sent1: if there is something such that it is not somatosensory that the King does not sign incentive but it is a kind of a goby is incorrect. sent2: the fact that the King is a kind of a goby and it cannons does not hold. sent3: there is something such that it is not a smallpox. sent4: if there are non-achromatic things that the King is not a cannon but it is a savory is incorrect. sent5: there is something such that it signs incentive. sent6: that the axil is not somatosensory if something that is judicial signs incentive is right. sent7: if the fact that the aunt is not savory but it is a kind of a cannon does not hold the King is achromatic. sent8: if something is achromatic then it is a goby. sent9: the boy signs incentive. sent10: the burgrass is judicial thing that signs incentive. sent11: if there is something such that it is non-somatosensory then the fact that the aunt is not savory but it cannons is not true. sent12: the fact that the axil is judicial and not savory does not hold if it signs incentive. sent13: if the axil is not a goby the King is not a goby. sent14: there exists something such that it companies boy.
sent10 -> int1: there exists something such that it is judicial and it does sign incentive.; int1 & sent6 -> int2: the axil is not somatosensory.; int2 -> int3: there exists something such that it is not somatosensory.; int3 & sent11 -> int4: that the aunt is not a savory and cannons is wrong.; int4 & sent7 -> int5: the King is not non-achromatic.; sent8 -> int6: the King is a goby if it is achromatic.; int5 & int6 -> hypothesis;
the burgrass is a kind of a savory.
$hypothesis$ = the King is a kind of a goby. ; $context$ = sent1: if there is something such that it is not somatosensory that the King does not sign incentive but it is a kind of a goby is incorrect. sent2: the fact that the King is a kind of a goby and it cannons does not hold. sent3: there is something such that it is not a smallpox. sent4: if there are non-achromatic things that the King is not a cannon but it is a savory is incorrect. sent5: there is something such that it signs incentive. sent6: that the axil is not somatosensory if something that is judicial signs incentive is right. sent7: if the fact that the aunt is not savory but it is a kind of a cannon does not hold the King is achromatic. sent8: if something is achromatic then it is a goby. sent9: the boy signs incentive. sent10: the burgrass is judicial thing that signs incentive. sent11: if there is something such that it is non-somatosensory then the fact that the aunt is not savory but it cannons is not true. sent12: the fact that the axil is judicial and not savory does not hold if it signs incentive. sent13: if the axil is not a goby the King is not a goby. sent14: there exists something such that it companies boy. ; $proof$ = 
sent10 -> int1: there exists something such that it is judicial and it does sign incentive.; int1 & sent6 -> int2: the axil is not somatosensory.; int2 -> int3: there exists something such that it is not somatosensory.; int3 & sent11 -> int4: that the aunt is not a savory and cannons is wrong.; int4 & sent7 -> int5: the King is not non-achromatic.; sent8 -> int6: the King is a goby if it is achromatic.; int5 & int6 -> hypothesis; __PROVED__