the Hindu is not an aqua.
sent1: the Hindu is not an aqua if the fact that the guano does menstruate but it does not scallop guano does not hold. sent2: if the guano is a demander then that it does menstruate and is not a kind of an aqua is not true. sent3: if something that does not introspect is a demander then it is an aqua. sent4: if the cutworm is a kind of a demander then the fact that it does quit and does not wanton does not hold. sent5: something is a demander if the fact that it quits and it is not a kind of an aqua is wrong. sent6: if something does wanton it introspects. sent7: the Hindu does not introspect but it is a demander if the cutworm is not a sapsago. sent8: the cutworm is a demander. sent9: the fact that the cutworm does quit and is a wanton is wrong. sent10: if something introspects it is a kind of a sapsago. sent11: if the cutworm is a kind of a sapsago then the fact that the fact that the guano menstruates but it does not scallop guano is right does not hold. sent12: the fact that if the guano introspects that the cutworm does scallop guano and it is a demander is not correct hold. sent13: that the guano does menstruate and scallops guano is not true. sent14: the cutworm does introspect if it wantons.
sent4 & sent8 -> int1: that the cutworm does quit but it does not wanton is wrong.; sent10 -> int2: that the cutworm is a sapsago is not wrong if it introspects.;
the Hindu is an aqua.
sent3 -> int3: if the Hindu does not introspect but it is a kind of a demander then it is an aqua.;
$hypothesis$ = the Hindu is not an aqua. ; $context$ = sent1: the Hindu is not an aqua if the fact that the guano does menstruate but it does not scallop guano does not hold. sent2: if the guano is a demander then that it does menstruate and is not a kind of an aqua is not true. sent3: if something that does not introspect is a demander then it is an aqua. sent4: if the cutworm is a kind of a demander then the fact that it does quit and does not wanton does not hold. sent5: something is a demander if the fact that it quits and it is not a kind of an aqua is wrong. sent6: if something does wanton it introspects. sent7: the Hindu does not introspect but it is a demander if the cutworm is not a sapsago. sent8: the cutworm is a demander. sent9: the fact that the cutworm does quit and is a wanton is wrong. sent10: if something introspects it is a kind of a sapsago. sent11: if the cutworm is a kind of a sapsago then the fact that the fact that the guano menstruates but it does not scallop guano is right does not hold. sent12: the fact that if the guano introspects that the cutworm does scallop guano and it is a demander is not correct hold. sent13: that the guano does menstruate and scallops guano is not true. sent14: the cutworm does introspect if it wantons. ; $proof$ = 
sent4 & sent8 -> int1: that the cutworm does quit but it does not wanton is wrong.; sent10 -> int2: that the cutworm is a sapsago is not wrong if it introspects.; __UNKNOWN__