the console does not outstare refinisher and it is not a kind of a Astragalus.
sent1: the ailanthus is not a deliverable and does not outstare refinisher. sent2: the ailanthus is not patient if the console does fly. sent3: the ailanthus is affirmative thing that does fly. sent4: the ailanthus does outstare barite but it is not a kind of a patient. sent5: that the fact that the ailanthus is not a patient and is an affirmative is not true is not wrong if the soundbox is not a patient.
void -> assump1: Let's assume that that the console does not outstare refinisher and is not a kind of a Astragalus is incorrect.; sent4 -> int1: the fact that the ailanthus is not a kind of a patient is not false.; sent3 -> int2: the ailanthus is a kind of an affirmative.; int1 & int2 -> int3: the ailanthus is not patient but it is affirmative.;
$hypothesis$ = the console does not outstare refinisher and it is not a kind of a Astragalus. ; $context$ = sent1: the ailanthus is not a deliverable and does not outstare refinisher. sent2: the ailanthus is not patient if the console does fly. sent3: the ailanthus is affirmative thing that does fly. sent4: the ailanthus does outstare barite but it is not a kind of a patient. sent5: that the fact that the ailanthus is not a patient and is an affirmative is not true is not wrong if the soundbox is not a patient. ; $proof$ = 
void -> assump1: Let's assume that that the console does not outstare refinisher and is not a kind of a Astragalus is incorrect.; sent4 -> int1: the fact that the ailanthus is not a kind of a patient is not false.; sent3 -> int2: the ailanthus is a kind of an affirmative.; int1 & int2 -> int3: the ailanthus is not patient but it is affirmative.; __UNKNOWN__