the gar is a kind of a papilloma.
sent1: that the bibliopole is not a jugale and subordinates is not right. sent2: the bibliopole does tide. sent3: if the bibliopole is not a jugale and it is not subordinate then it is not a tide. sent4: if the robber japans Ailurus the gar is a papilloma. sent5: if the fact that the fact that something is not a Cuon and it is not a kind of a holometabolism is not false is wrong it is a Cuon. sent6: if the fact that something is not a kind of a jugale and it is not a kind of a subordinate is incorrect then it does not contribute denseness. sent7: if the bibliopole does not contribute denseness but it is a lactate then the robber japans Ailurus. sent8: if the barleycorn is a lactate the bibliopole is a lactate. sent9: if the bibliopole is not a lactate that the gar does not tide and it does not contribute denseness is wrong. sent10: if the fact that something is not a tide and does not contribute denseness is false it is not a papilloma. sent11: the barleycorn is a lactate and it is a Cuon.
void -> assump1: Let's assume that the bibliopole is not a jugale but insubordinate.; sent3 & assump1 -> int1: the bibliopole is not a tide.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the bibliopole is not a jugale and it is not a kind of a subordinate is wrong.; sent6 -> int4: the bibliopole does not contribute denseness if that that it is not a jugale and not subordinate is correct does not hold.; int3 & int4 -> int5: the fact that the bibliopole does not contribute denseness is not incorrect.; sent11 -> int6: the barleycorn is a kind of a lactate.; sent8 & int6 -> int7: the bibliopole is a lactate.; int5 & int7 -> int8: the bibliopole does not contribute denseness but it is a lactate.; int8 & sent7 -> int9: the robber does japan Ailurus.; int9 & sent4 -> hypothesis;
the gar is not a kind of a papilloma.
sent10 -> int10: the gar is not a papilloma if the fact that it is not a kind of a tide and does not contribute denseness is false.; sent5 -> int11: if the fact that the bibliopole is not a Cuon and it is not a holometabolism is false then it is a Cuon.;
$hypothesis$ = the gar is a kind of a papilloma. ; $context$ = sent1: that the bibliopole is not a jugale and subordinates is not right. sent2: the bibliopole does tide. sent3: if the bibliopole is not a jugale and it is not subordinate then it is not a tide. sent4: if the robber japans Ailurus the gar is a papilloma. sent5: if the fact that the fact that something is not a Cuon and it is not a kind of a holometabolism is not false is wrong it is a Cuon. sent6: if the fact that something is not a kind of a jugale and it is not a kind of a subordinate is incorrect then it does not contribute denseness. sent7: if the bibliopole does not contribute denseness but it is a lactate then the robber japans Ailurus. sent8: if the barleycorn is a lactate the bibliopole is a lactate. sent9: if the bibliopole is not a lactate that the gar does not tide and it does not contribute denseness is wrong. sent10: if the fact that something is not a tide and does not contribute denseness is false it is not a papilloma. sent11: the barleycorn is a lactate and it is a Cuon. ; $proof$ = 
void -> assump1: Let's assume that the bibliopole is not a jugale but insubordinate.; sent3 & assump1 -> int1: the bibliopole is not a tide.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the bibliopole is not a jugale and it is not a kind of a subordinate is wrong.; sent6 -> int4: the bibliopole does not contribute denseness if that that it is not a jugale and not subordinate is correct does not hold.; int3 & int4 -> int5: the fact that the bibliopole does not contribute denseness is not incorrect.; sent11 -> int6: the barleycorn is a kind of a lactate.; sent8 & int6 -> int7: the bibliopole is a lactate.; int5 & int7 -> int8: the bibliopole does not contribute denseness but it is a lactate.; int8 & sent7 -> int9: the robber does japan Ailurus.; int9 & sent4 -> hypothesis; __PROVED__