the businessperson does not comfort headsman.
sent1: if the justiciary is a forcemeat the businessperson comforts headsman but it is not a helpdesk. sent2: if that the fact that the justiciary does intrude carbide and is not a swift does not hold is not false then that the businessperson does not comfort blip is true. sent3: if something elopes and is a helpdesk the fact that it does not comfort headsman is not right. sent4: the justiciary is resistible. sent5: the fact that the justiciary does comfort headsman hold. sent6: the justiciary is a kind of a forcemeat if it is a kind of a helpdesk and it does not comfort headsman. sent7: that if something does not comfort blip then that it is not a helpdesk and does not comfort headsman is not incorrect is not false. sent8: the fact that the businessperson comforts headsman hold if it is a kind of a forcemeat and it does elope. sent9: if a scar does not comfort Knoxville it is a linkage. sent10: the businessperson is a kind of a forcemeat but it does not elope if the justiciary is a kind of a helpdesk. sent11: the businessperson is not a helpdesk if the justiciary comforts headsman. sent12: something comforts headsman if it is a forcemeat and it does not elope. sent13: the justiciary does not comfort headsman if the businessperson is a kind of a helpdesk. sent14: the justiciary is a kind of a helpdesk. sent15: the carbide does not comfort headsman.
sent10 & sent14 -> int1: the businessperson is a forcemeat but it does not elope.; sent12 -> int2: if the businessperson is a forcemeat and does not elope it does comfort headsman.; int1 & int2 -> hypothesis;
the businessperson does not comfort headsman.
sent7 -> int3: the businessperson is not a kind of a helpdesk and does not comfort headsman if that it does not comfort blip is right.;
$hypothesis$ = the businessperson does not comfort headsman. ; $context$ = sent1: if the justiciary is a forcemeat the businessperson comforts headsman but it is not a helpdesk. sent2: if that the fact that the justiciary does intrude carbide and is not a swift does not hold is not false then that the businessperson does not comfort blip is true. sent3: if something elopes and is a helpdesk the fact that it does not comfort headsman is not right. sent4: the justiciary is resistible. sent5: the fact that the justiciary does comfort headsman hold. sent6: the justiciary is a kind of a forcemeat if it is a kind of a helpdesk and it does not comfort headsman. sent7: that if something does not comfort blip then that it is not a helpdesk and does not comfort headsman is not incorrect is not false. sent8: the fact that the businessperson comforts headsman hold if it is a kind of a forcemeat and it does elope. sent9: if a scar does not comfort Knoxville it is a linkage. sent10: the businessperson is a kind of a forcemeat but it does not elope if the justiciary is a kind of a helpdesk. sent11: the businessperson is not a helpdesk if the justiciary comforts headsman. sent12: something comforts headsman if it is a forcemeat and it does not elope. sent13: the justiciary does not comfort headsman if the businessperson is a kind of a helpdesk. sent14: the justiciary is a kind of a helpdesk. sent15: the carbide does not comfort headsman. ; $proof$ = 
sent10 & sent14 -> int1: the businessperson is a forcemeat but it does not elope.; sent12 -> int2: if the businessperson is a forcemeat and does not elope it does comfort headsman.; int1 & int2 -> hypothesis; __DISPROVED__