the hayfield is cerebrovascular and concocts rampion.
sent1: something is not a kind of a purl and it is not tolerable if it is not psycholinguistics. sent2: something does glare comb-out if the fact that it is cerebrovascular is not false. sent3: the keepsake is painless and not hemic if the leatherwork does not rope shiftlessness. sent4: if the psocid is not a purl then the leatherwork does not rope shiftlessness and/or it is not a parturiency. sent5: the ham is not psycholinguistics but atomistic if the fact that the rampion is not a mint hold. sent6: the durian is not a transportation and it is not a mint if it is not unselfish. sent7: the peach glares psocid. sent8: the hayfield glares psocid and it does glare comb-out. sent9: the garmentmaker is cerebrovascular if the hayfield is cerebrovascular and does not append. sent10: something glares psocid if it does glare comb-out. sent11: that the rule is congruous is not incorrect if the keepsake is painless but it is not hemic. sent12: the durian is not unselfish. sent13: the hayfield does not glare psocid and does not glare comb-out if the rule does not append. sent14: if the hayfield does append it concocts rampion. sent15: something that does not rope shiftlessness and/or is not a parturiency does not rope shiftlessness. sent16: the hayfield appends. sent17: if the durian is not a kind of a transportation and it is not a mint then the rampion is not a mint. sent18: the hayfield is cerebrovascular if it does glare psocid. sent19: if the ham is not a purl and not tolerable the psocid is not a purl. sent20: something does not glare Upupidae and does concoct rampion if it is congruous. sent21: that something is cerebrovascular and it does concoct rampion is incorrect if it does not glare psocid.
sent8 -> int1: the hayfield does glare psocid.; int1 & sent18 -> int2: the hayfield is cerebrovascular.; sent14 & sent16 -> int3: the hayfield concocts rampion.; int2 & int3 -> hypothesis;
that the hayfield is cerebrovascular and it concocts rampion is false.
sent21 -> int4: if the hayfield does not glare psocid then that it is cerebrovascular and concocts rampion does not hold.;
$hypothesis$ = the hayfield is cerebrovascular and concocts rampion. ; $context$ = sent1: something is not a kind of a purl and it is not tolerable if it is not psycholinguistics. sent2: something does glare comb-out if the fact that it is cerebrovascular is not false. sent3: the keepsake is painless and not hemic if the leatherwork does not rope shiftlessness. sent4: if the psocid is not a purl then the leatherwork does not rope shiftlessness and/or it is not a parturiency. sent5: the ham is not psycholinguistics but atomistic if the fact that the rampion is not a mint hold. sent6: the durian is not a transportation and it is not a mint if it is not unselfish. sent7: the peach glares psocid. sent8: the hayfield glares psocid and it does glare comb-out. sent9: the garmentmaker is cerebrovascular if the hayfield is cerebrovascular and does not append. sent10: something glares psocid if it does glare comb-out. sent11: that the rule is congruous is not incorrect if the keepsake is painless but it is not hemic. sent12: the durian is not unselfish. sent13: the hayfield does not glare psocid and does not glare comb-out if the rule does not append. sent14: if the hayfield does append it concocts rampion. sent15: something that does not rope shiftlessness and/or is not a parturiency does not rope shiftlessness. sent16: the hayfield appends. sent17: if the durian is not a kind of a transportation and it is not a mint then the rampion is not a mint. sent18: the hayfield is cerebrovascular if it does glare psocid. sent19: if the ham is not a purl and not tolerable the psocid is not a purl. sent20: something does not glare Upupidae and does concoct rampion if it is congruous. sent21: that something is cerebrovascular and it does concoct rampion is incorrect if it does not glare psocid. ; $proof$ = 
sent8 -> int1: the hayfield does glare psocid.; int1 & sent18 -> int2: the hayfield is cerebrovascular.; sent14 & sent16 -> int3: the hayfield concocts rampion.; int2 & int3 -> hypothesis; __PROVED__