the fact that there is something such that if it does not assemble tanner it is not a kind of a materiality is not true.
sent1: if that something does not assemble tanner hold it is not a materiality.
sent1 -> int1: the quillwort is not a materiality if it does not assemble tanner.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not assemble tanner it is not a kind of a materiality is not true. ; $context$ = sent1: if that something does not assemble tanner hold it is not a materiality. ; $proof$ = 
sent1 -> int1: the quillwort is not a materiality if it does not assemble tanner.; int1 -> hypothesis; __DISPROVED__