if the whisk is not acinar the byway is a elastase and it is resinlike.
sent1: either the byway is repeatable or it is not a kind of a elastase or both. sent2: the byway is resinlike. sent3: the fact that the whisk is a Thymus is true if the fact that it is collapsible and/or is unrepeatable is wrong. sent4: the byway is a kind of a elastase if the whisk is not repeatable. sent5: the byway is a elastase if the whisk is collapsible. sent6: if the whisk is a Thymus then it is acinar.
void -> assump1: Let's assume that that the whisk is collapsible and/or it is not repeatable is wrong.; sent3 & assump1 -> int1: the whisk is a Thymus.; int1 & sent6 -> int2: the whisk is acinar.; void -> assump2: Let's assume that that the whisk is not acinar is true.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whisk is collapsible and/or is not repeatable.; int4 & sent5 & sent4 -> int5: the byway is a elastase.; int5 & sent2 -> int6: the byway is a elastase and it is resinlike.; [assump2] & int6 -> hypothesis;
$hypothesis$ = if the whisk is not acinar the byway is a elastase and it is resinlike. ; $context$ = sent1: either the byway is repeatable or it is not a kind of a elastase or both. sent2: the byway is resinlike. sent3: the fact that the whisk is a Thymus is true if the fact that it is collapsible and/or is unrepeatable is wrong. sent4: the byway is a kind of a elastase if the whisk is not repeatable. sent5: the byway is a elastase if the whisk is collapsible. sent6: if the whisk is a Thymus then it is acinar. ; $proof$ = 
void -> assump1: Let's assume that that the whisk is collapsible and/or it is not repeatable is wrong.; sent3 & assump1 -> int1: the whisk is a Thymus.; int1 & sent6 -> int2: the whisk is acinar.; void -> assump2: Let's assume that that the whisk is not acinar is true.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whisk is collapsible and/or is not repeatable.; int4 & sent5 & sent4 -> int5: the byway is a elastase.; int5 & sent2 -> int6: the byway is a elastase and it is resinlike.; [assump2] & int6 -> hypothesis; __PROVED__