the compress is not a kind of a Prosopium.
sent1: the fact that the agnostic is a kind of a eucalyptus and is a forename is right. sent2: the fact that the agnostic is not a hardback is true. sent3: the round is a kind of a eucalyptus. sent4: the agnostic does not monopolize Urocyon. sent5: the agnostic is a kind of a Antigone and it is a kind of a forename. sent6: the fact that the Phoenician is a stronghold and it is not non-white-collar is not true. sent7: the fact that the round is not a forename if the fact that the compress is a eucalyptus and it is persuasive is wrong is not false. sent8: the round does not monopolize Urocyon. sent9: the Phoenician is a Antigone and a stronghold. sent10: the Phoenician is not a Antigone if it does monopolize Urocyon. sent11: the agnostic is not a Prosopium. sent12: either the Phoenician is not persuasive or it does not monopolize Urocyon or both. sent13: the round is a Antigone and/or it is not a forename if the Phoenician is not a forename. sent14: the compress is white-collar if the agnostic does not monopolize Urocyon and/or is not persuasive. sent15: if either the agnostic does not monopolize Urocyon or it is not a forename or both then the round is persuasive. sent16: the Phoenician monopolizes Urocyon if the agnostic is not white-collar or not a forename or both. sent17: if the agnostic monopolizes Urocyon then it does not tessellate. sent18: if the agnostic is persuasive it is not a kind of a forename. sent19: if the agnostic is not persuasive then that the compress is a eucalyptus is not incorrect. sent20: the agnostic is a kind of a Antigone and it is Guatemalan. sent21: if that the compress is not a eucalyptus is not incorrect then the Phoenician is persuasive and/or is not a kind of a eucalyptus. sent22: if the compress does not monopolize Urocyon the Phoenician is a Prosopium. sent23: the agnostic is a Antigone. sent24: the fact that something is a eucalyptus and it is persuasive is incorrect if it is not a Prosopium. sent25: if the round is not a kind of a forename then the agnostic is non-white-collar or it is not a forename or both. sent26: the round is not a forename and/or it is not white-collar.
sent24 -> int1: the fact that that the compress is a eucalyptus and persuasive does not hold is not false if it is not a Prosopium.; void -> assump1: Let's assume that the compress is not a Prosopium.; int1 & assump1 -> int2: that the compress is both a eucalyptus and persuasive is wrong.; int2 & sent7 -> int3: the round is not a forename.; int3 & sent25 -> int4: the agnostic is not white-collar or it is not a kind of a forename or both.; int4 & sent16 -> int5: the Phoenician monopolizes Urocyon.; int5 & sent10 -> int6: the Phoenician is not a kind of a Antigone.; sent9 -> int7: the Phoenician is a kind of a Antigone.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the compress is not a kind of a Prosopium. ; $context$ = sent1: the fact that the agnostic is a kind of a eucalyptus and is a forename is right. sent2: the fact that the agnostic is not a hardback is true. sent3: the round is a kind of a eucalyptus. sent4: the agnostic does not monopolize Urocyon. sent5: the agnostic is a kind of a Antigone and it is a kind of a forename. sent6: the fact that the Phoenician is a stronghold and it is not non-white-collar is not true. sent7: the fact that the round is not a forename if the fact that the compress is a eucalyptus and it is persuasive is wrong is not false. sent8: the round does not monopolize Urocyon. sent9: the Phoenician is a Antigone and a stronghold. sent10: the Phoenician is not a Antigone if it does monopolize Urocyon. sent11: the agnostic is not a Prosopium. sent12: either the Phoenician is not persuasive or it does not monopolize Urocyon or both. sent13: the round is a Antigone and/or it is not a forename if the Phoenician is not a forename. sent14: the compress is white-collar if the agnostic does not monopolize Urocyon and/or is not persuasive. sent15: if either the agnostic does not monopolize Urocyon or it is not a forename or both then the round is persuasive. sent16: the Phoenician monopolizes Urocyon if the agnostic is not white-collar or not a forename or both. sent17: if the agnostic monopolizes Urocyon then it does not tessellate. sent18: if the agnostic is persuasive it is not a kind of a forename. sent19: if the agnostic is not persuasive then that the compress is a eucalyptus is not incorrect. sent20: the agnostic is a kind of a Antigone and it is Guatemalan. sent21: if that the compress is not a eucalyptus is not incorrect then the Phoenician is persuasive and/or is not a kind of a eucalyptus. sent22: if the compress does not monopolize Urocyon the Phoenician is a Prosopium. sent23: the agnostic is a Antigone. sent24: the fact that something is a eucalyptus and it is persuasive is incorrect if it is not a Prosopium. sent25: if the round is not a kind of a forename then the agnostic is non-white-collar or it is not a forename or both. sent26: the round is not a forename and/or it is not white-collar. ; $proof$ = 
sent24 -> int1: the fact that that the compress is a eucalyptus and persuasive does not hold is not false if it is not a Prosopium.; void -> assump1: Let's assume that the compress is not a Prosopium.; int1 & assump1 -> int2: that the compress is both a eucalyptus and persuasive is wrong.; int2 & sent7 -> int3: the round is not a forename.; int3 & sent25 -> int4: the agnostic is not white-collar or it is not a kind of a forename or both.; int4 & sent16 -> int5: the Phoenician monopolizes Urocyon.; int5 & sent10 -> int6: the Phoenician is not a kind of a Antigone.; sent9 -> int7: the Phoenician is a kind of a Antigone.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__