the Charlotte is a carnelian.
sent1: the binnacle is a kind of an incongruity if that the Gurkha is non-aversive thing that is a kind of a casement does not hold. sent2: the video is a testament and it revenges delayer if the binnacle does not revenges delayer. sent3: if the Gurkha is not a casement then the binnacle is a kind of an incongruity. sent4: The mid-on settles binnacle. sent5: either the video is not a kind of a maisonette or it is not a testament or both if that it does not initiate Gurkha is true. sent6: if the Gurkha is not a carnelian then the Charlotte is a carnelian. sent7: the binnacle settles mid-on. sent8: The Gurkha initiates Charlotte. sent9: the Charlotte initiates Gurkha. sent10: the Charlotte is a kind of a testament. sent11: that the Gurkha is not aversive but it is a casement does not hold. sent12: the Charlotte is a maisonette if that the video revenges delayer is correct. sent13: if something that is a maisonette initiates Gurkha it is not a carnelian. sent14: the video is a kind of a testament if the binnacle does not revenge delayer. sent15: the binnacle does not revenge delayer if it settles mid-on and it is an incongruity.
sent1 & sent11 -> int1: the binnacle is a kind of an incongruity.; int1 & sent7 -> int2: the binnacle does settle mid-on and is an incongruity.; int2 & sent15 -> int3: the binnacle does not revenge delayer.; int3 & sent2 -> int4: that the video is a testament and it does revenge delayer is right.; int4 -> int5: the video does revenge delayer.; int5 & sent12 -> int6: the Charlotte is a maisonette.; int6 & sent9 -> int7: the Charlotte is a maisonette and does initiate Gurkha.; sent13 -> int8: if the Charlotte is a maisonette and it does initiate Gurkha it is not a carnelian.; int7 & int8 -> hypothesis;
the Charlotte is a carnelian.
$hypothesis$ = the Charlotte is a carnelian. ; $context$ = sent1: the binnacle is a kind of an incongruity if that the Gurkha is non-aversive thing that is a kind of a casement does not hold. sent2: the video is a testament and it revenges delayer if the binnacle does not revenges delayer. sent3: if the Gurkha is not a casement then the binnacle is a kind of an incongruity. sent4: The mid-on settles binnacle. sent5: either the video is not a kind of a maisonette or it is not a testament or both if that it does not initiate Gurkha is true. sent6: if the Gurkha is not a carnelian then the Charlotte is a carnelian. sent7: the binnacle settles mid-on. sent8: The Gurkha initiates Charlotte. sent9: the Charlotte initiates Gurkha. sent10: the Charlotte is a kind of a testament. sent11: that the Gurkha is not aversive but it is a casement does not hold. sent12: the Charlotte is a maisonette if that the video revenges delayer is correct. sent13: if something that is a maisonette initiates Gurkha it is not a carnelian. sent14: the video is a kind of a testament if the binnacle does not revenge delayer. sent15: the binnacle does not revenge delayer if it settles mid-on and it is an incongruity. ; $proof$ = 
sent1 & sent11 -> int1: the binnacle is a kind of an incongruity.; int1 & sent7 -> int2: the binnacle does settle mid-on and is an incongruity.; int2 & sent15 -> int3: the binnacle does not revenge delayer.; int3 & sent2 -> int4: that the video is a testament and it does revenge delayer is right.; int4 -> int5: the video does revenge delayer.; int5 & sent12 -> int6: the Charlotte is a maisonette.; int6 & sent9 -> int7: the Charlotte is a maisonette and does initiate Gurkha.; sent13 -> int8: if the Charlotte is a maisonette and it does initiate Gurkha it is not a carnelian.; int7 & int8 -> hypothesis; __DISPROVED__