that there is something such that if the fact that it groups Argo and is not christian is false it is not a leaf is not correct.
sent1: the protectorate groups Argo if it does leaf. sent2: the variometer is not a nettle but it is a Megalosauridae. sent3: that the protectorate is not a kind of a leaf is not incorrect if it groups Argo and it is not christian. sent4: if the bomblet is not christian then it does group Argo and is a leaf. sent5: there exists something such that if the fact that it groups Argo and is not christian is incorrect then it is a leaf. sent6: the bomblet is not christian if the protectorate is not a Megalosauridae or it does not nettle or both. sent7: there exists something such that if it does not group Argo it is not a kind of a leaf. sent8: if the bomblet is a leaf the fact that it ails and is not a prancer does not hold. sent9: the variometer is a kind of a Megalosauridae. sent10: the protectorate is not christian if the variometer is not a kind of a nettle but it is a Megalosauridae. sent11: the protectorate does leaf if that it groups Argo and it is not christian is not right. sent12: there is something such that if the fact that the fact that it is not christian hold is false it is not a leaf. sent13: there exists something such that if that it groups Argo and is christian is not correct then it does not leaf.
void -> assump1: Let's assume that the protectorate does leaf.; sent1 & assump1 -> int1: the protectorate groups Argo.; sent10 & sent2 -> int2: the protectorate is not christian.; int1 & int2 -> int3: the protectorate groups Argo but it is not christian.; void -> assump2: Let's assume that that the protectorate does group Argo but it is not christian is wrong.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the protectorate is not a leaf.; [assump2] & int5 -> int6: the protectorate is not a leaf if that it groups Argo and it is not christian is not correct.; int6 -> hypothesis;
the fact that the bomblet ails but it is not a prancer does not hold.
$hypothesis$ = that there is something such that if the fact that it groups Argo and is not christian is false it is not a leaf is not correct. ; $context$ = sent1: the protectorate groups Argo if it does leaf. sent2: the variometer is not a nettle but it is a Megalosauridae. sent3: that the protectorate is not a kind of a leaf is not incorrect if it groups Argo and it is not christian. sent4: if the bomblet is not christian then it does group Argo and is a leaf. sent5: there exists something such that if the fact that it groups Argo and is not christian is incorrect then it is a leaf. sent6: the bomblet is not christian if the protectorate is not a Megalosauridae or it does not nettle or both. sent7: there exists something such that if it does not group Argo it is not a kind of a leaf. sent8: if the bomblet is a leaf the fact that it ails and is not a prancer does not hold. sent9: the variometer is a kind of a Megalosauridae. sent10: the protectorate is not christian if the variometer is not a kind of a nettle but it is a Megalosauridae. sent11: the protectorate does leaf if that it groups Argo and it is not christian is not right. sent12: there is something such that if the fact that the fact that it is not christian hold is false it is not a leaf. sent13: there exists something such that if that it groups Argo and is christian is not correct then it does not leaf. ; $proof$ = 
void -> assump1: Let's assume that the protectorate does leaf.; sent1 & assump1 -> int1: the protectorate groups Argo.; sent10 & sent2 -> int2: the protectorate is not christian.; int1 & int2 -> int3: the protectorate groups Argo but it is not christian.; void -> assump2: Let's assume that that the protectorate does group Argo but it is not christian is wrong.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the protectorate is not a leaf.; [assump2] & int5 -> int6: the protectorate is not a leaf if that it groups Argo and it is not christian is not correct.; int6 -> hypothesis; __DISPROVED__