that if the backstroke occurs either the biblioticsness does not occur or the greening chaffinch occurs or both is false.
sent1: that both the indexing loop-line and the biblioticsness occurs prevents the backstroke. sent2: the indexing loop-line happens. sent3: the backstroke occurs if that both the indexing loop-line and the biblioticsness happens is correct. sent4: if the backstroke happens then the biblioticsness and/or the greening chaffinch happens.
void -> assump1: Let's assume that the backstroke occurs.; void -> assump2: Let's assume that the fact that the biblioticsness happens is correct.; sent2 & assump2 -> int1: both the indexing loop-line and the biblioticsness happens.; sent1 & int1 -> int2: the backstroking does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the biblioticsness does not occur.; int4 -> int5: the biblioticsness does not occur or the greening chaffinch happens or both.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that if the backstroke occurs either the biblioticsness does not occur or the greening chaffinch occurs or both is false. ; $context$ = sent1: that both the indexing loop-line and the biblioticsness occurs prevents the backstroke. sent2: the indexing loop-line happens. sent3: the backstroke occurs if that both the indexing loop-line and the biblioticsness happens is correct. sent4: if the backstroke happens then the biblioticsness and/or the greening chaffinch happens. ; $proof$ = 
void -> assump1: Let's assume that the backstroke occurs.; void -> assump2: Let's assume that the fact that the biblioticsness happens is correct.; sent2 & assump2 -> int1: both the indexing loop-line and the biblioticsness happens.; sent1 & int1 -> int2: the backstroking does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the biblioticsness does not occur.; int4 -> int5: the biblioticsness does not occur or the greening chaffinch happens or both.; [assump1] & int5 -> hypothesis; __DISPROVED__