the RA is not a photocathode but it enfeebles teammate.
sent1: if something is not avifaunal it is not a creak. sent2: the RA is not a Gila if something does enfeeble Leon and is a myxosporidian. sent3: that the RA is a kind of a myxosporidian is true if the fact that the anaerobe does not enfeeble Leon but it is a kind of a lowland is not correct. sent4: if the RA is not a Gila it is not a photocathode and it does enfeeble teammate. sent5: there exists something such that it does enfeeble Leon. sent6: the taxiway is a myxosporidian. sent7: if something does not enfeeble Leon then the fact that it is non-lowland hold. sent8: the fact that the taxiway is not lowland is incorrect. sent9: the RA is not a photocathode.
sent7 -> int1: if the taxiway does not enfeeble Leon the fact that it is not a lowland is true.; void -> assump1: Let's assume that the taxiway does not enfeeble Leon.; int1 & assump1 -> int2: the taxiway is not lowland.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the taxiway enfeebles Leon is true.; int4 & sent6 -> int5: the taxiway does enfeeble Leon and it is a myxosporidian.; int5 -> int6: the fact that there exists something such that it enfeebles Leon and it is a myxosporidian is not incorrect.; int6 & sent2 -> int7: the RA is not a Gila.; int7 & sent4 -> hypothesis;
that the RA is not a photocathode and does enfeeble teammate is not correct.
$hypothesis$ = the RA is not a photocathode but it enfeebles teammate. ; $context$ = sent1: if something is not avifaunal it is not a creak. sent2: the RA is not a Gila if something does enfeeble Leon and is a myxosporidian. sent3: that the RA is a kind of a myxosporidian is true if the fact that the anaerobe does not enfeeble Leon but it is a kind of a lowland is not correct. sent4: if the RA is not a Gila it is not a photocathode and it does enfeeble teammate. sent5: there exists something such that it does enfeeble Leon. sent6: the taxiway is a myxosporidian. sent7: if something does not enfeeble Leon then the fact that it is non-lowland hold. sent8: the fact that the taxiway is not lowland is incorrect. sent9: the RA is not a photocathode. ; $proof$ = 
sent7 -> int1: if the taxiway does not enfeeble Leon the fact that it is not a lowland is true.; void -> assump1: Let's assume that the taxiway does not enfeeble Leon.; int1 & assump1 -> int2: the taxiway is not lowland.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the taxiway enfeebles Leon is true.; int4 & sent6 -> int5: the taxiway does enfeeble Leon and it is a myxosporidian.; int5 -> int6: the fact that there exists something such that it enfeebles Leon and it is a myxosporidian is not incorrect.; int6 & sent2 -> int7: the RA is not a Gila.; int7 & sent4 -> hypothesis; __PROVED__