the therapist is not excusable and/or it is not dural.
sent1: the barbasco is a Galilean. sent2: the omelet flames Helleborus. sent3: the therapist is not excusable and/or it does not flame Helleborus. sent4: the barbasco is excusable. sent5: the barbasco does not flame Helleborus and/or is dural. sent6: the therapist is not excusable or it is dural or both. sent7: the therapist is a kind of a Elephantopus. sent8: the therapist is not a Galilean if the barbasco is not dural. sent9: the barbasco does not flame Helleborus if the therapist is not dural. sent10: the barbasco does flame Helleborus and is Galilean. sent11: if something is not a Galilean it is not acanthotic or it is not Hebridean or both. sent12: if the therapist is not excusable and/or it is not dural then the barbasco does not flame Helleborus. sent13: the barbasco is dural. sent14: the zinc is a kind of a Galilean. sent15: the therapist is dural. sent16: the fire flames Helleborus. sent17: if the fact that the barbasco is not dural and/or does not flame Helleborus is not false then the therapist is not a Galilean. sent18: the fact that the barbasco is not excusable and/or it is not Galilean is incorrect. sent19: that the exposure is not excusable or it does not flame Arenaviridae or both is incorrect. sent20: if something does not recur it flames Helleborus and it is not a kind of a speed.
void -> assump1: Let's assume that the therapist is inexcusable or it is non-dural or both.; sent12 & assump1 -> int1: the barbasco does not flame Helleborus.; sent10 -> int2: the barbasco does flame Helleborus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
either the stray is not acanthotic or it is not Hebridean or both.
sent11 -> int4: the stray is not acanthotic and/or is not Hebridean if it is not Galilean.; sent20 -> int5: if the therapist does not recur it does flame Helleborus and is not a speed.;
$hypothesis$ = the therapist is not excusable and/or it is not dural. ; $context$ = sent1: the barbasco is a Galilean. sent2: the omelet flames Helleborus. sent3: the therapist is not excusable and/or it does not flame Helleborus. sent4: the barbasco is excusable. sent5: the barbasco does not flame Helleborus and/or is dural. sent6: the therapist is not excusable or it is dural or both. sent7: the therapist is a kind of a Elephantopus. sent8: the therapist is not a Galilean if the barbasco is not dural. sent9: the barbasco does not flame Helleborus if the therapist is not dural. sent10: the barbasco does flame Helleborus and is Galilean. sent11: if something is not a Galilean it is not acanthotic or it is not Hebridean or both. sent12: if the therapist is not excusable and/or it is not dural then the barbasco does not flame Helleborus. sent13: the barbasco is dural. sent14: the zinc is a kind of a Galilean. sent15: the therapist is dural. sent16: the fire flames Helleborus. sent17: if the fact that the barbasco is not dural and/or does not flame Helleborus is not false then the therapist is not a Galilean. sent18: the fact that the barbasco is not excusable and/or it is not Galilean is incorrect. sent19: that the exposure is not excusable or it does not flame Arenaviridae or both is incorrect. sent20: if something does not recur it flames Helleborus and it is not a kind of a speed. ; $proof$ = 
void -> assump1: Let's assume that the therapist is inexcusable or it is non-dural or both.; sent12 & assump1 -> int1: the barbasco does not flame Helleborus.; sent10 -> int2: the barbasco does flame Helleborus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__