if that the inferior is a kind of a rockfish is not wrong then the buggy is a thermochemistry and does not guess searchlight.
sent1: that the buggy is a kind of a thermochemistry and guesses searchlight is false. sent2: if that the buggy is a thermochemistry but it does not guess searchlight is false the inferior is not a rockfish. sent3: that the entertainer is a rockfish hold. sent4: the inferior is a rockfish if the fact that the buggy is a thermochemistry and does not guess searchlight is not correct. sent5: the buggy does not guess searchlight if the inferior is a rockfish. sent6: the inferior does not guess searchlight if the fact that the buggy is a rockfish is true. sent7: that the inferior guesses searchlight but it is not uneventful is incorrect. sent8: the fact that the inferior guesses searchlight and is not a kind of a rockfish is false.
void -> assump2: Let's assume that the fact that the buggy is a thermochemistry and does not guess searchlight is not right.; sent2 & assump2 -> int1: the inferior is not a rockfish.; void -> assump1: Let's assume that the inferior is a rockfish.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the buggy is a thermochemistry but it does not guess searchlight.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if that the inferior is a kind of a rockfish is not wrong then the buggy is a thermochemistry and does not guess searchlight. ; $context$ = sent1: that the buggy is a kind of a thermochemistry and guesses searchlight is false. sent2: if that the buggy is a thermochemistry but it does not guess searchlight is false the inferior is not a rockfish. sent3: that the entertainer is a rockfish hold. sent4: the inferior is a rockfish if the fact that the buggy is a thermochemistry and does not guess searchlight is not correct. sent5: the buggy does not guess searchlight if the inferior is a rockfish. sent6: the inferior does not guess searchlight if the fact that the buggy is a rockfish is true. sent7: that the inferior guesses searchlight but it is not uneventful is incorrect. sent8: the fact that the inferior guesses searchlight and is not a kind of a rockfish is false. ; $proof$ = 
void -> assump2: Let's assume that the fact that the buggy is a thermochemistry and does not guess searchlight is not right.; sent2 & assump2 -> int1: the inferior is not a rockfish.; void -> assump1: Let's assume that the inferior is a rockfish.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the buggy is a thermochemistry but it does not guess searchlight.; [assump1] & int3 -> hypothesis; __PROVED__