the fact that the petcock is not a follow-up but it is field-crop is wrong.
sent1: if the hoatzin is field-crop the petcock is not a kind of a follow-up but it is field-crop. sent2: the petcock is not field-crop but it is acrogenic if the hoatzin is acrogenic. sent3: if something is not acrogenic then the fact that it is not a follow-up but field-crop is false. sent4: if something is not a follow-up then it circularizes asphalt. sent5: if the hoatzin is not acrogenic then it is field-crop. sent6: the radiogram does not refrain truffle but it is field-crop. sent7: if the course is a kind of a cootie and is not a dilution it is a fibbing. sent8: the canoeist is not field-crop. sent9: the fact that the petcock is not a follow-up if the hoatzin is field-crop hold. sent10: if that something does not circularize copyreader and is not a kind of a ragsorter is not correct it is a kind of a ragsorter. sent11: if there exists something such that it does not refrain advisory then that the pawnbroker does not circularize copyreader and is not a ragsorter does not hold. sent12: something is not a Polyodon if that it is a kind of a Polyodon and it is not a retribution does not hold. sent13: something is an irregular if it fibs. sent14: the petcock is not a kind of a follow-up. sent15: if there is something such that it refrains Duse the fact that the antispasmodic does refrain advisory and it circularizes OIG does not hold. sent16: something is a kind of a cootie that is not a kind of a dilution if it refrains fist. sent17: if the course is an irregular that the nymph does refrain Duse is right. sent18: the hoatzin is non-acrogenic. sent19: the fact that something is a Polyodon and is not a kind of a retribution is not correct if it is a ragsorter. sent20: the course roughs and it refrains fist. sent21: the petcock is not acrogenic if the hoatzin does not snarl PWR but it is diplomatic. sent22: if that the antispasmodic refrains advisory and it circularizes OIG does not hold then the buttress does not refrains advisory.
sent5 & sent18 -> int1: the hoatzin is field-crop.; sent1 & int1 -> hypothesis;
the fact that the petcock is not a follow-up but it is field-crop is not correct.
sent3 -> int2: the fact that the petcock is not a follow-up but field-crop is incorrect if it is not acrogenic.; sent12 -> int3: the pawnbroker is not a Polyodon if that it is both a Polyodon and not a retribution does not hold.; sent19 -> int4: the fact that the pawnbroker is a Polyodon but it is not a retribution is wrong if it is a kind of a ragsorter.; sent10 -> int5: if that the pawnbroker does not circularize copyreader and is not a ragsorter does not hold then it is a ragsorter.; sent13 -> int6: the course is a kind of an irregular if it does fib.; sent16 -> int7: if the course does refrain fist it is a cootie and is not a kind of a dilution.; sent20 -> int8: the course does refrain fist.; int7 & int8 -> int9: the course is a cootie and is not a dilution.; sent7 & int9 -> int10: the course is a kind of a fibbing.; int6 & int10 -> int11: the course is irregular.; sent17 & int11 -> int12: the nymph refrains Duse.; int12 -> int13: something does refrain Duse.; int13 & sent15 -> int14: the fact that the antispasmodic does refrain advisory and circularizes OIG is wrong.; sent22 & int14 -> int15: the buttress does not refrain advisory.; int15 -> int16: there exists something such that the fact that it does not refrain advisory hold.; int16 & sent11 -> int17: the fact that the pawnbroker does not circularize copyreader and is not a kind of a ragsorter does not hold.; int5 & int17 -> int18: the pawnbroker is a ragsorter.; int4 & int18 -> int19: that the pawnbroker is a Polyodon but not a retribution does not hold.; int3 & int19 -> int20: the pawnbroker is not a Polyodon.; int20 -> int21: there is something such that that it is not a Polyodon is correct.;
$hypothesis$ = the fact that the petcock is not a follow-up but it is field-crop is wrong. ; $context$ = sent1: if the hoatzin is field-crop the petcock is not a kind of a follow-up but it is field-crop. sent2: the petcock is not field-crop but it is acrogenic if the hoatzin is acrogenic. sent3: if something is not acrogenic then the fact that it is not a follow-up but field-crop is false. sent4: if something is not a follow-up then it circularizes asphalt. sent5: if the hoatzin is not acrogenic then it is field-crop. sent6: the radiogram does not refrain truffle but it is field-crop. sent7: if the course is a kind of a cootie and is not a dilution it is a fibbing. sent8: the canoeist is not field-crop. sent9: the fact that the petcock is not a follow-up if the hoatzin is field-crop hold. sent10: if that something does not circularize copyreader and is not a kind of a ragsorter is not correct it is a kind of a ragsorter. sent11: if there exists something such that it does not refrain advisory then that the pawnbroker does not circularize copyreader and is not a ragsorter does not hold. sent12: something is not a Polyodon if that it is a kind of a Polyodon and it is not a retribution does not hold. sent13: something is an irregular if it fibs. sent14: the petcock is not a kind of a follow-up. sent15: if there is something such that it refrains Duse the fact that the antispasmodic does refrain advisory and it circularizes OIG does not hold. sent16: something is a kind of a cootie that is not a kind of a dilution if it refrains fist. sent17: if the course is an irregular that the nymph does refrain Duse is right. sent18: the hoatzin is non-acrogenic. sent19: the fact that something is a Polyodon and is not a kind of a retribution is not correct if it is a ragsorter. sent20: the course roughs and it refrains fist. sent21: the petcock is not acrogenic if the hoatzin does not snarl PWR but it is diplomatic. sent22: if that the antispasmodic refrains advisory and it circularizes OIG does not hold then the buttress does not refrains advisory. ; $proof$ = 
sent5 & sent18 -> int1: the hoatzin is field-crop.; sent1 & int1 -> hypothesis; __DISPROVED__