the rudderpost is not a Houston and it does not curb trusteeship.
sent1: if something is cadastral and it is a boneshaker it is not a agelessness. sent2: the bookdealer is a agelessness and not cadastral if there is something such that it is not a boneshaker. sent3: the rudderpost is not a heterospory and it is not a Houston. sent4: the wireworm arrives Trapezium. sent5: the bookdealer is not a agelessness. sent6: the wireworm is not cadastral if that the bookdealer is not a boneshaker and is not a kind of a agelessness does not hold. sent7: if the wireworm does arrive Trapezium the rudderpost is cadastral. sent8: the rudderpost is not a Houston and is not a agelessness. sent9: if that the bookdealer is not a agelessness and it does not curb trusteeship is incorrect then the rudderpost is not a kind of a Houston. sent10: the fact that there is something such that that it is not a Houston hold is not incorrect. sent11: the quinone is not a kind of a heterospory. sent12: the fact that that the rudderpost does curb trusteeship but it is not a boneshaker hold is not right.
that the rudderpost is not a Houston and it does not curb trusteeship is wrong.
sent1 -> int1: if the rudderpost is a kind of cadastral a boneshaker it is not a agelessness.; sent7 & sent4 -> int2: the rudderpost is cadastral.;
$hypothesis$ = the rudderpost is not a Houston and it does not curb trusteeship. ; $context$ = sent1: if something is cadastral and it is a boneshaker it is not a agelessness. sent2: the bookdealer is a agelessness and not cadastral if there is something such that it is not a boneshaker. sent3: the rudderpost is not a heterospory and it is not a Houston. sent4: the wireworm arrives Trapezium. sent5: the bookdealer is not a agelessness. sent6: the wireworm is not cadastral if that the bookdealer is not a boneshaker and is not a kind of a agelessness does not hold. sent7: if the wireworm does arrive Trapezium the rudderpost is cadastral. sent8: the rudderpost is not a Houston and is not a agelessness. sent9: if that the bookdealer is not a agelessness and it does not curb trusteeship is incorrect then the rudderpost is not a kind of a Houston. sent10: the fact that there is something such that that it is not a Houston hold is not incorrect. sent11: the quinone is not a kind of a heterospory. sent12: the fact that that the rudderpost does curb trusteeship but it is not a boneshaker hold is not right. ; $proof$ = 
__UNKNOWN__