the fumitory is not malignant.
sent1: everything does scorch tableland. sent2: the fumitory kennels aluminum and scorches tableland. sent3: the pincushion is atrial. sent4: that the pincushion is not a Kurd hold if something is malignant and scorches Raffia. sent5: the fumitory scorches Raffia if the augur does scorch tableland. sent6: something is malignant and scorches tableland if it does not scorch Raffia.
sent1 -> int1: the augur scorches tableland.; int1 & sent5 -> int2: the fumitory does scorch Raffia.; void -> assump1: Let's assume that the fumitory is malignant.; int2 & assump1 -> int3: the fumitory is malignant thing that does scorch Raffia.; int3 -> int4: there is something such that it is malignant and it scorches Raffia.; int4 & sent4 -> int5: the pincushion is not a Kurd.;
the fumitory is malignant.
sent6 -> int6: the fumitory is not non-malignant and it scorches tableland if it does not scorch Raffia.;
$hypothesis$ = the fumitory is not malignant. ; $context$ = sent1: everything does scorch tableland. sent2: the fumitory kennels aluminum and scorches tableland. sent3: the pincushion is atrial. sent4: that the pincushion is not a Kurd hold if something is malignant and scorches Raffia. sent5: the fumitory scorches Raffia if the augur does scorch tableland. sent6: something is malignant and scorches tableland if it does not scorch Raffia. ; $proof$ = 
sent1 -> int1: the augur scorches tableland.; int1 & sent5 -> int2: the fumitory does scorch Raffia.; void -> assump1: Let's assume that the fumitory is malignant.; int2 & assump1 -> int3: the fumitory is malignant thing that does scorch Raffia.; int3 -> int4: there is something such that it is malignant and it scorches Raffia.; int4 & sent4 -> int5: the pincushion is not a Kurd.; __UNKNOWN__