the porterhouse is gravitational.
sent1: that something is anadromous but it does not jam goatsucker is wrong if it is not a napkin. sent2: the goatsucker is not a kind of a jello if that it is antibiotic and it is a jello is wrong. sent3: the fact that the goatsucker is antibiotic and it is a kind of a jello does not hold. sent4: that the goatsucker is not a jello is not wrong if the haemosporidian is not a kind of a jello. sent5: if the haemosporidian does not promise Cromwell the goatsucker is a napkin that does not promise Cromwell. sent6: if something is not a napkin and it does not promise Cromwell it is not gravitational. sent7: the haemosporidian does not promise Cromwell if the fact that the porterhouse does not promise capybara and is gravitational is not correct. sent8: the goatsucker does not promise capybara.
void -> assump1: Let's assume that the fact that the porterhouse does not promise capybara but it is gravitational is not right.; sent7 & assump1 -> int1: the haemosporidian does not promise Cromwell.; int1 & sent5 -> int2: the goatsucker is a napkin but it does not promise Cromwell.; sent2 & sent3 -> int3: the goatsucker is not a jello.;
the fact that the tempter is anadromous but it does not jam goatsucker is not correct.
sent1 -> int4: the fact that the tempter is anadromous but it does not jam goatsucker is false if it is not a napkin.;
$hypothesis$ = the porterhouse is gravitational. ; $context$ = sent1: that something is anadromous but it does not jam goatsucker is wrong if it is not a napkin. sent2: the goatsucker is not a kind of a jello if that it is antibiotic and it is a jello is wrong. sent3: the fact that the goatsucker is antibiotic and it is a kind of a jello does not hold. sent4: that the goatsucker is not a jello is not wrong if the haemosporidian is not a kind of a jello. sent5: if the haemosporidian does not promise Cromwell the goatsucker is a napkin that does not promise Cromwell. sent6: if something is not a napkin and it does not promise Cromwell it is not gravitational. sent7: the haemosporidian does not promise Cromwell if the fact that the porterhouse does not promise capybara and is gravitational is not correct. sent8: the goatsucker does not promise capybara. ; $proof$ = 
void -> assump1: Let's assume that the fact that the porterhouse does not promise capybara but it is gravitational is not right.; sent7 & assump1 -> int1: the haemosporidian does not promise Cromwell.; int1 & sent5 -> int2: the goatsucker is a napkin but it does not promise Cromwell.; sent2 & sent3 -> int3: the goatsucker is not a jello.; __UNKNOWN__