that the Argyrol does circularize if the invertase is homologous does not hold.
sent1: if the unction is not Hippocratic then the immortelle is a Amundsen and/or it does not marshal paste. sent2: that the Argyrol marshals paste and is cercarial is true if it is not a Amundsen. sent3: the Argyrol is not a kind of a Amundsen if either it is not a Amundsen or it is Hippocratic or both. sent4: if that the Argyrol is not futuristic but it is homologous is not correct then the reproduction is not homologous. sent5: something is homologous if it is cercarial. sent6: the invertase is not homologous if something that is futuristic orients. sent7: if something is homologous that it is an orient and/or not futuristic is not true. sent8: the Argyrol is an orient. sent9: if something is not futuristic it does circularize. sent10: something orients. sent11: if a futuristic thing is an orient the invertase is homologous. sent12: if the fact that the invertase orients is not false then that the Argyrol is not futuristic but it is homologous is wrong. sent13: the invertase is homologous if it is non-futuristic. sent14: if either something is a Amundsen or it does not marshal paste or both then it does not marshal paste. sent15: that the invertase is not futuristic is not wrong if something circularizes and is homologous. sent16: the Argyrol does not mark candlesnuffer. sent17: if something is not homologous it is an orient. sent18: something is futuristic. sent19: the loggerhead is an orient.
void -> assump2: Let's assume that the Argyrol is futuristic.; assump2 & sent8 -> int1: the Argyrol is futuristic and it orients.; int1 -> int2: there exists something such that it is both futuristic and an orient.; int2 & sent6 -> int3: the invertase is not homologous.; void -> assump1: Let's assume that the invertase is homologous.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the Argyrol is not futuristic is right.; sent9 -> int6: if the Argyrol is not futuristic then it circularizes.; int5 & int6 -> int7: the Argyrol circularizes.; [assump1] & int7 -> hypothesis;
the reproduction is not homologous.
sent14 -> int8: the immortelle does not marshal paste if it either is a kind of a Amundsen or does not marshal paste or both.;
$hypothesis$ = that the Argyrol does circularize if the invertase is homologous does not hold. ; $context$ = sent1: if the unction is not Hippocratic then the immortelle is a Amundsen and/or it does not marshal paste. sent2: that the Argyrol marshals paste and is cercarial is true if it is not a Amundsen. sent3: the Argyrol is not a kind of a Amundsen if either it is not a Amundsen or it is Hippocratic or both. sent4: if that the Argyrol is not futuristic but it is homologous is not correct then the reproduction is not homologous. sent5: something is homologous if it is cercarial. sent6: the invertase is not homologous if something that is futuristic orients. sent7: if something is homologous that it is an orient and/or not futuristic is not true. sent8: the Argyrol is an orient. sent9: if something is not futuristic it does circularize. sent10: something orients. sent11: if a futuristic thing is an orient the invertase is homologous. sent12: if the fact that the invertase orients is not false then that the Argyrol is not futuristic but it is homologous is wrong. sent13: the invertase is homologous if it is non-futuristic. sent14: if either something is a Amundsen or it does not marshal paste or both then it does not marshal paste. sent15: that the invertase is not futuristic is not wrong if something circularizes and is homologous. sent16: the Argyrol does not mark candlesnuffer. sent17: if something is not homologous it is an orient. sent18: something is futuristic. sent19: the loggerhead is an orient. ; $proof$ = 
void -> assump2: Let's assume that the Argyrol is futuristic.; assump2 & sent8 -> int1: the Argyrol is futuristic and it orients.; int1 -> int2: there exists something such that it is both futuristic and an orient.; int2 & sent6 -> int3: the invertase is not homologous.; void -> assump1: Let's assume that the invertase is homologous.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the Argyrol is not futuristic is right.; sent9 -> int6: if the Argyrol is not futuristic then it circularizes.; int5 & int6 -> int7: the Argyrol circularizes.; [assump1] & int7 -> hypothesis; __DISPROVED__