that the indexing quest and the non-photicness occurs is not right if the probable occurs.
sent1: the indexing quest occurs. sent2: that both the indexing quest and the photicness occurs prevents that the probableness happens. sent3: the penicillin-resistantness does not occur. sent4: the fact that the ruffianism occurs and the Noachianness occurs is not correct. sent5: the improbableness is triggered by that the indexing quest but not the photicness occurs. sent6: that the basket happens is true. sent7: the auction does not occur. sent8: that the disappointment and the non-penicillin-resistantness occurs is triggered by that the go happens.
void -> assump2: Let's assume that the indexing quest occurs and the photicness does not occur.; sent5 & assump2 -> int1: the probable does not occur.; void -> assump1: Let's assume that the probableness occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the indexing quest and the non-photicness happens is not correct.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the indexing quest and the non-photicness occurs is not right if the probable occurs. ; $context$ = sent1: the indexing quest occurs. sent2: that both the indexing quest and the photicness occurs prevents that the probableness happens. sent3: the penicillin-resistantness does not occur. sent4: the fact that the ruffianism occurs and the Noachianness occurs is not correct. sent5: the improbableness is triggered by that the indexing quest but not the photicness occurs. sent6: that the basket happens is true. sent7: the auction does not occur. sent8: that the disappointment and the non-penicillin-resistantness occurs is triggered by that the go happens. ; $proof$ = 
void -> assump2: Let's assume that the indexing quest occurs and the photicness does not occur.; sent5 & assump2 -> int1: the probable does not occur.; void -> assump1: Let's assume that the probableness occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the indexing quest and the non-photicness happens is not correct.; [assump1] & int3 -> hypothesis; __PROVED__