that the Islamist does chomp and it is not non-glandular is not right.
sent1: the fact that the Islamist does chomp and it is glandular does not hold if the flier does not chomp. sent2: the phytohormone does not chomp if something is not a terce and does not company decorum. sent3: the flier does not chomp and is not much if the fact that the phytohormone does not chomp hold. sent4: something is not a terce and does not company decorum. sent5: if something is much it does chomp.
sent4 & sent2 -> int1: that the phytohormone does not chomp is not false.; sent3 & int1 -> int2: the flier does not chomp and is not a much.; int2 -> int3: the flier does not chomp.; sent1 & int3 -> hypothesis;
the Islamist chomps and it is glandular.
sent5 -> int4: the Islamist chomps if it is much.;
$hypothesis$ = that the Islamist does chomp and it is not non-glandular is not right. ; $context$ = sent1: the fact that the Islamist does chomp and it is glandular does not hold if the flier does not chomp. sent2: the phytohormone does not chomp if something is not a terce and does not company decorum. sent3: the flier does not chomp and is not much if the fact that the phytohormone does not chomp hold. sent4: something is not a terce and does not company decorum. sent5: if something is much it does chomp. ; $proof$ = 
sent4 & sent2 -> int1: that the phytohormone does not chomp is not false.; sent3 & int1 -> int2: the flier does not chomp and is not a much.; int2 -> int3: the flier does not chomp.; sent1 & int3 -> hypothesis; __PROVED__