the Hall is a Prescott.
sent1: the Hall is angular. sent2: the pledgee does not remodel professionalism. sent3: something remodels professionalism if the fact that it does not remodels professionalism and it is not a Prescott is not correct. sent4: if something is not a Prescott and/or is not angular it is not a kind of a Prescott. sent5: the Hall remodels professionalism if the pledgee is a kind of a Prescott. sent6: the Hall is a Prescott if the pledgee is angular. sent7: the pledgee does not remodel professionalism but it is angular. sent8: if something is a kind of non-vulpine thing that does remodel impeccability then it is not a psychodid. sent9: something is non-vulpine thing that does remodel impeccability if it is not a feline. sent10: if the Frank is not a psychodid then the pledgee adjoins thrilled and it does adjoin muser. sent11: the cusp is not aciculate but it is anoxemic. sent12: the pledgee does not remodel professionalism but it is a guillemot. sent13: the fact that the Hall does not remodel professionalism and it is not a Prescott is false if the pledgee does adjoin thrilled. sent14: if something does remodel professionalism it is angular.
sent7 -> int1: the pledgee is angular.; sent6 & int1 -> hypothesis;
the Hall is angular.
sent14 -> int2: if the Hall does remodel professionalism it is angular.; sent3 -> int3: the Hall does remodel professionalism if the fact that it does not remodel professionalism and it is not a Prescott does not hold.; sent8 -> int4: if the Frank is not vulpine and remodels impeccability it is not a psychodid.; sent9 -> int5: if the fact that the Frank is not a kind of a feline is not wrong it is not vulpine and does remodel impeccability.;
$hypothesis$ = the Hall is a Prescott. ; $context$ = sent1: the Hall is angular. sent2: the pledgee does not remodel professionalism. sent3: something remodels professionalism if the fact that it does not remodels professionalism and it is not a Prescott is not correct. sent4: if something is not a Prescott and/or is not angular it is not a kind of a Prescott. sent5: the Hall remodels professionalism if the pledgee is a kind of a Prescott. sent6: the Hall is a Prescott if the pledgee is angular. sent7: the pledgee does not remodel professionalism but it is angular. sent8: if something is a kind of non-vulpine thing that does remodel impeccability then it is not a psychodid. sent9: something is non-vulpine thing that does remodel impeccability if it is not a feline. sent10: if the Frank is not a psychodid then the pledgee adjoins thrilled and it does adjoin muser. sent11: the cusp is not aciculate but it is anoxemic. sent12: the pledgee does not remodel professionalism but it is a guillemot. sent13: the fact that the Hall does not remodel professionalism and it is not a Prescott is false if the pledgee does adjoin thrilled. sent14: if something does remodel professionalism it is angular. ; $proof$ = 
sent7 -> int1: the pledgee is angular.; sent6 & int1 -> hypothesis; __PROVED__