the architect is angular and it is a thunder.
sent1: the Cheviots is a Tanoan. sent2: the C is inclement if that it is inclement and it does not avoid MVP is not correct. sent3: if something is a kind of a Tanoan then it is clement. sent4: if the Cheviots is an ancestry the C is a kind of a Tanoan. sent5: the Cheviots is not exocentric. sent6: the creation is a Perdix. sent7: that that the architect avoids MVP but it does not mistake is false is right. sent8: if there is something such that that it is an ancestry and it is not a Exmoor is incorrect then the marjoram is not non-postglacial. sent9: the architect does not mistake if it is not postglacial and it is a Perdix. sent10: if the creation is a Bellerophon the fact that the C is clement but it does not avoid MVP is not correct. sent11: if something is not a kind of a mistake then that it is both angular and a thunder is true. sent12: the creation is a Bellerophon. sent13: the Cheviots is a kind of a comforted if it is a kind of an ancestry. sent14: the C is not a mistake. sent15: if that the C avoids MVP and is not a Exmoor is not correct it does not avoids MVP. sent16: that the architect does not avoid MVP is right if the C avoid MVP.
void -> assump1: Let's assume that the Cheviots is a kind of an ancestry but it is not a Exmoor.; assump1 -> int1: the Cheviots is an ancestry.; int1 & sent4 -> int2: the C is a kind of a Tanoan.; sent3 -> int3: the C is not inclement if it is a Tanoan.; int2 & int3 -> int4: the C is clement.; sent10 & sent12 -> int5: the fact that the C is a kind of clement thing that does not avoid MVP does not hold.; sent2 & int5 -> int6: the C is not clement.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the Cheviots is an ancestry and is not a kind of a Exmoor does not hold.; int8 -> int9: there exists something such that the fact that it is a kind of an ancestry and it is not a Exmoor is not true.; int9 & sent8 -> int10: the marjoram is postglacial.; sent11 -> int11: the architect is not non-angular but a thunder if it is not a mistake.;
$hypothesis$ = the architect is angular and it is a thunder. ; $context$ = sent1: the Cheviots is a Tanoan. sent2: the C is inclement if that it is inclement and it does not avoid MVP is not correct. sent3: if something is a kind of a Tanoan then it is clement. sent4: if the Cheviots is an ancestry the C is a kind of a Tanoan. sent5: the Cheviots is not exocentric. sent6: the creation is a Perdix. sent7: that that the architect avoids MVP but it does not mistake is false is right. sent8: if there is something such that that it is an ancestry and it is not a Exmoor is incorrect then the marjoram is not non-postglacial. sent9: the architect does not mistake if it is not postglacial and it is a Perdix. sent10: if the creation is a Bellerophon the fact that the C is clement but it does not avoid MVP is not correct. sent11: if something is not a kind of a mistake then that it is both angular and a thunder is true. sent12: the creation is a Bellerophon. sent13: the Cheviots is a kind of a comforted if it is a kind of an ancestry. sent14: the C is not a mistake. sent15: if that the C avoids MVP and is not a Exmoor is not correct it does not avoids MVP. sent16: that the architect does not avoid MVP is right if the C avoid MVP. ; $proof$ = 
void -> assump1: Let's assume that the Cheviots is a kind of an ancestry but it is not a Exmoor.; assump1 -> int1: the Cheviots is an ancestry.; int1 & sent4 -> int2: the C is a kind of a Tanoan.; sent3 -> int3: the C is not inclement if it is a Tanoan.; int2 & int3 -> int4: the C is clement.; sent10 & sent12 -> int5: the fact that the C is a kind of clement thing that does not avoid MVP does not hold.; sent2 & int5 -> int6: the C is not clement.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the Cheviots is an ancestry and is not a kind of a Exmoor does not hold.; int8 -> int9: there exists something such that the fact that it is a kind of an ancestry and it is not a Exmoor is not true.; int9 & sent8 -> int10: the marjoram is postglacial.; sent11 -> int11: the architect is not non-angular but a thunder if it is not a mistake.; __UNKNOWN__