that both the Argentineness and the exportableness occurs is triggered by that the militariness does not occur.
sent1: that both the non-irreplaceableness and the junior occurs is brought about by that the noncurrentness happens. sent2: if the Donatist does not occur then the fact that the trophotropicness occurs is not false. sent3: the walking T-bill does not occur and/or the Donatistness occurs. sent4: that the walking T-bill happens and/or that the military occurs is caused by the non-Donatistness. sent5: the Argentineness and the exportableness occurs if the militariness happens. sent6: the fact that the irreplaceableness occurs and/or the walking bilirubin does not occur does not hold if the juniorness does not occur. sent7: if the fact that the walking T-bill happens is not incorrect then the military occurs. sent8: the tonelessness occurs. sent9: that the irreplaceableness does not occur causes that the exportableness and the walking bilirubin happens. sent10: the walking bilirubin happens if the irreplaceableness does not occur. sent11: the juniorness happens. sent12: the walking bilirubin happens. sent13: the noncurrentness happens. sent14: the trophotropicness is brought about by that the walking T-bill does not occur or the Donatist does not occur or both. sent15: if the hermeneuticsness occurs that the obstruction happens is true.
void -> assump1: Let's assume that the walking T-bill occurs.; sent7 & assump1 -> int1: the military happens.; void -> assump2: Let's assume that the militariness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the walking T-bill does not occur.; int3 -> int4: the walking T-bill does not occur or the Donatistness does not occur or both.; int4 & sent14 -> int5: the trophotropicness occurs.; sent1 & sent13 -> int6: the non-irreplaceableness and the juniorness happens.; int6 -> int7: the irreplaceableness does not occur.; sent9 & int7 -> int8: the exportableness and the walking bilirubin occurs.; int8 -> int9: the exportableness occurs.;
the pleochroicness occurs.
$hypothesis$ = that both the Argentineness and the exportableness occurs is triggered by that the militariness does not occur. ; $context$ = sent1: that both the non-irreplaceableness and the junior occurs is brought about by that the noncurrentness happens. sent2: if the Donatist does not occur then the fact that the trophotropicness occurs is not false. sent3: the walking T-bill does not occur and/or the Donatistness occurs. sent4: that the walking T-bill happens and/or that the military occurs is caused by the non-Donatistness. sent5: the Argentineness and the exportableness occurs if the militariness happens. sent6: the fact that the irreplaceableness occurs and/or the walking bilirubin does not occur does not hold if the juniorness does not occur. sent7: if the fact that the walking T-bill happens is not incorrect then the military occurs. sent8: the tonelessness occurs. sent9: that the irreplaceableness does not occur causes that the exportableness and the walking bilirubin happens. sent10: the walking bilirubin happens if the irreplaceableness does not occur. sent11: the juniorness happens. sent12: the walking bilirubin happens. sent13: the noncurrentness happens. sent14: the trophotropicness is brought about by that the walking T-bill does not occur or the Donatist does not occur or both. sent15: if the hermeneuticsness occurs that the obstruction happens is true. ; $proof$ = 
void -> assump1: Let's assume that the walking T-bill occurs.; sent7 & assump1 -> int1: the military happens.; void -> assump2: Let's assume that the militariness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the walking T-bill does not occur.; int3 -> int4: the walking T-bill does not occur or the Donatistness does not occur or both.; int4 & sent14 -> int5: the trophotropicness occurs.; sent1 & sent13 -> int6: the non-irreplaceableness and the juniorness happens.; int6 -> int7: the irreplaceableness does not occur.; sent9 & int7 -> int8: the exportableness and the walking bilirubin occurs.; int8 -> int9: the exportableness occurs.; __UNKNOWN__