the creole-fish is less if the agnate updates infantilism.
sent1: if the agnate is less then the creole-fish does dangle. sent2: the salt is less. sent3: something is not a kind of a Herat if it is a retinol and it does update matinee. sent4: if the agnate is not less the fact that the creole-fish is bronchial and does not update infantilism hold. sent5: the agnate is less if the creole-fish does update infantilism. sent6: something is less if the fact that it is bronchial and it does not dangle hold. sent7: the agnate does not update infantilism if it is not non-bronchial and it does dangle. sent8: the creole-fish is not less if it updates infantilism and is bronchial. sent9: the agnate does not oversleep if it updates infantilism and is inhalant. sent10: the agnate is not a kind of a gunsmith. sent11: something does not update infantilism if it is bronchial and it does not dangle. sent12: that if the creole-fish does not dangle the agnate is less but it is not bronchial is not wrong. sent13: the agnate does not update infantilism if it dangles and it is less. sent14: if something is bronchial but not less then it does not update infantilism. sent15: if the creole-fish is not less the agnate is bronchial thing that does not dangle. sent16: the creole-fish is not bronchial. sent17: the creole-fish does not update infantilism if the agnate does not dangle. sent18: the agnate is less. sent19: that the agnate is bronchial but it does not dangle if the creole-fish is less is not false. sent20: that the shegetz is not less is correct.
void -> assump1: Let's assume that the creole-fish is not less.; sent15 & assump1 -> int1: the agnate is bronchial thing that does not dangle.; sent11 -> int2: the agnate does not update infantilism if it is bronchial and does not dangle.; int1 & int2 -> int3: that the agnate does not update infantilism is not incorrect.; void -> assump2: Let's assume that the agnate does update infantilism.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the creole-fish is less is not wrong.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the creole-fish is less if the agnate updates infantilism. ; $context$ = sent1: if the agnate is less then the creole-fish does dangle. sent2: the salt is less. sent3: something is not a kind of a Herat if it is a retinol and it does update matinee. sent4: if the agnate is not less the fact that the creole-fish is bronchial and does not update infantilism hold. sent5: the agnate is less if the creole-fish does update infantilism. sent6: something is less if the fact that it is bronchial and it does not dangle hold. sent7: the agnate does not update infantilism if it is not non-bronchial and it does dangle. sent8: the creole-fish is not less if it updates infantilism and is bronchial. sent9: the agnate does not oversleep if it updates infantilism and is inhalant. sent10: the agnate is not a kind of a gunsmith. sent11: something does not update infantilism if it is bronchial and it does not dangle. sent12: that if the creole-fish does not dangle the agnate is less but it is not bronchial is not wrong. sent13: the agnate does not update infantilism if it dangles and it is less. sent14: if something is bronchial but not less then it does not update infantilism. sent15: if the creole-fish is not less the agnate is bronchial thing that does not dangle. sent16: the creole-fish is not bronchial. sent17: the creole-fish does not update infantilism if the agnate does not dangle. sent18: the agnate is less. sent19: that the agnate is bronchial but it does not dangle if the creole-fish is less is not false. sent20: that the shegetz is not less is correct. ; $proof$ = 
void -> assump1: Let's assume that the creole-fish is not less.; sent15 & assump1 -> int1: the agnate is bronchial thing that does not dangle.; sent11 -> int2: the agnate does not update infantilism if it is bronchial and does not dangle.; int1 & int2 -> int3: that the agnate does not update infantilism is not incorrect.; void -> assump2: Let's assume that the agnate does update infantilism.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the creole-fish is less is not wrong.; [assump2] & int5 -> hypothesis; __PROVED__