that if the ceratosaur is later the hyperon is Orwellian does not hold.
sent1: the ceratosaur is not a escargot. sent2: the ceratosaur is Hertzian and/or it is non-later. sent3: the ceratosaur is not Orwellian if the acrogen is later or a escargot or both. sent4: something is not later and it is not Orwellian if it does not barbarize Tatum. sent5: if the acrogen is not augitic the hyperon is Orwellian. sent6: if that something is not later hold then it groups Blenniidae and it is Hertzian. sent7: if the porphyrin is a kind of a escargot that the acrogen is Hertzian is not false. sent8: the fact that the ceratosaur is Orwellian or not later or both is incorrect. sent9: if either the ceratosaur is Orwellian or it is later or both then the porphyrin is not Hertzian. sent10: if the acrogen is a escargot then the hyperon is not non-Orwellian. sent11: if the fact that the acrogen is a kind of a escargot or it is not augitic or both is false the porphyrin groups Blenniidae. sent12: the ceratosaur does group Blenniidae and/or it is later. sent13: the fact that the acrogen does not barbarize Tatum is true if there exists something such that it is not a playlist and/or it is sepulchral. sent14: the ceratosaur is later if the porphyrin does group Blenniidae or it is Hertzian or both. sent15: the hyperon does not group Blenniidae. sent16: if the porphyrin does group Blenniidae or it is Hertzian or both then the ceratosaur is not later. sent17: the hyperon is Hertzian if the porphyrin is Orwellian. sent18: there is something such that it is not a playlist and/or it is sepulchral. sent19: if the porphyrin is Hertzian then the ceratosaur is not later. sent20: the fact that that the porphyrin is a escargot and/or it is not a arthrogram is incorrect is not incorrect. sent21: the hyperon is non-Hertzian. sent22: that the porphyrin is not Hertzian is not incorrect if the hyperon is Orwellian or it does group Blenniidae or both. sent23: that the hyperon is later or it is not Orwellian or both hold.
void -> assump2: Let's assume that the ceratosaur is later.; void -> assump1: Let's assume that the fact that the acrogen is a kind of a escargot or it is not augitic or both is false.; sent11 & assump1 -> int1: the porphyrin groups Blenniidae.; int1 -> int2: either the porphyrin groups Blenniidae or it is Hertzian or both.; sent16 & int2 -> int3: the ceratosaur is not later.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: either the acrogen is a escargot or it is not augitic or both.; int5 & sent10 & sent5 -> int6: the hyperon is Orwellian.; [assump2] & int6 -> hypothesis;
the fact that the ceratosaur groups lode or it does not heat or both is not correct.
sent6 -> int7: if the acrogen is not later it groups Blenniidae and is Hertzian.; sent4 -> int8: the acrogen is both not later and not Orwellian if it does not barbarize Tatum.; sent18 & sent13 -> int9: the fact that the acrogen does not barbarize Tatum is not wrong.; int8 & int9 -> int10: the acrogen is not later and is not Orwellian.; int10 -> int11: that the acrogen is non-later is true.; int7 & int11 -> int12: the acrogen does group Blenniidae and is Hertzian.; int12 -> int13: the acrogen is Hertzian.; int13 -> int14: there is something such that it is not non-Hertzian.;
$hypothesis$ = that if the ceratosaur is later the hyperon is Orwellian does not hold. ; $context$ = sent1: the ceratosaur is not a escargot. sent2: the ceratosaur is Hertzian and/or it is non-later. sent3: the ceratosaur is not Orwellian if the acrogen is later or a escargot or both. sent4: something is not later and it is not Orwellian if it does not barbarize Tatum. sent5: if the acrogen is not augitic the hyperon is Orwellian. sent6: if that something is not later hold then it groups Blenniidae and it is Hertzian. sent7: if the porphyrin is a kind of a escargot that the acrogen is Hertzian is not false. sent8: the fact that the ceratosaur is Orwellian or not later or both is incorrect. sent9: if either the ceratosaur is Orwellian or it is later or both then the porphyrin is not Hertzian. sent10: if the acrogen is a escargot then the hyperon is not non-Orwellian. sent11: if the fact that the acrogen is a kind of a escargot or it is not augitic or both is false the porphyrin groups Blenniidae. sent12: the ceratosaur does group Blenniidae and/or it is later. sent13: the fact that the acrogen does not barbarize Tatum is true if there exists something such that it is not a playlist and/or it is sepulchral. sent14: the ceratosaur is later if the porphyrin does group Blenniidae or it is Hertzian or both. sent15: the hyperon does not group Blenniidae. sent16: if the porphyrin does group Blenniidae or it is Hertzian or both then the ceratosaur is not later. sent17: the hyperon is Hertzian if the porphyrin is Orwellian. sent18: there is something such that it is not a playlist and/or it is sepulchral. sent19: if the porphyrin is Hertzian then the ceratosaur is not later. sent20: the fact that that the porphyrin is a escargot and/or it is not a arthrogram is incorrect is not incorrect. sent21: the hyperon is non-Hertzian. sent22: that the porphyrin is not Hertzian is not incorrect if the hyperon is Orwellian or it does group Blenniidae or both. sent23: that the hyperon is later or it is not Orwellian or both hold. ; $proof$ = 
void -> assump2: Let's assume that the ceratosaur is later.; void -> assump1: Let's assume that the fact that the acrogen is a kind of a escargot or it is not augitic or both is false.; sent11 & assump1 -> int1: the porphyrin groups Blenniidae.; int1 -> int2: either the porphyrin groups Blenniidae or it is Hertzian or both.; sent16 & int2 -> int3: the ceratosaur is not later.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: either the acrogen is a escargot or it is not augitic or both.; int5 & sent10 & sent5 -> int6: the hyperon is Orwellian.; [assump2] & int6 -> hypothesis; __DISPROVED__