the arrowhead bayonets arrowhead.
sent1: the goldenrod is not a kind of a muezzin if there is something such that it is a banyan and does not name Hercules'-club. sent2: if that the goldenrod is a stringybark is not incorrect the arrowhead does bayonet arrowhead. sent3: something is a kind of a stringybark if it is not a muezzin. sent4: there exists something such that it is a banyan and it does not name Hercules'-club.
sent3 -> int1: the goldenrod is a kind of a stringybark if it is not a kind of a muezzin.; sent4 & sent1 -> int2: the goldenrod is not a muezzin.; int1 & int2 -> int3: the goldenrod is a stringybark.; int3 & sent2 -> hypothesis;
$hypothesis$ = the arrowhead bayonets arrowhead. ; $context$ = sent1: the goldenrod is not a kind of a muezzin if there is something such that it is a banyan and does not name Hercules'-club. sent2: if that the goldenrod is a stringybark is not incorrect the arrowhead does bayonet arrowhead. sent3: something is a kind of a stringybark if it is not a muezzin. sent4: there exists something such that it is a banyan and it does not name Hercules'-club. ; $proof$ = 
sent3 -> int1: the goldenrod is a kind of a stringybark if it is not a kind of a muezzin.; sent4 & sent1 -> int2: the goldenrod is not a muezzin.; int1 & int2 -> int3: the goldenrod is a stringybark.; int3 & sent2 -> hypothesis; __PROVED__