the arquebus is not a kind of a tundra.
sent1: something is a craft if it is a Hausa. sent2: if something does not quiver eggnog it is not a telegraphy. sent3: if the Cantabrigian does compromise platinum the arquebus is not a tundra. sent4: if the fetlock is a royalty then the hackberry is not a royalty. sent5: the hackberry is not a royalty if that the fetlock is not a kind of a royalty but it is a schist is not right. sent6: something is not a kind of a inchoative if it is a colchicine and it is not a kind of a MFA. sent7: the fact that the fetlock is a royalty that is a schist does not hold. sent8: if the fact that something is not a schist and is not a kind of a axerophthol does not hold then it does not quiver eggnog. sent9: if the hackberry is not a telegraphy then the Cantabrigian compromises platinum and is a royalty. sent10: the platinum is not diatomic. sent11: the skull is not a kind of a Isabella if that the fetlock is both not a Isabella and not a possible does not hold. sent12: the hackberry is a kind of a royalty if the fact that the Cantabrigian is a kind of non-clinker-built thing that is a kind of an amalgamation is wrong. sent13: the arquebus does quiver eggnog if the skull is a telegraphy. sent14: the fact that the Cantabrigian is not non-clinker-built and it is an amalgamation is wrong. sent15: the dilutant does not compromise platinum. sent16: if the Cantabrigian is not clinker-built the dilutant does not compromise platinum and is clinker-built. sent17: if the dilutant does not compromise platinum and is clinker-built then the skull is a kind of a telegraphy. sent18: if something is not a Isabella it is approachable and it is a Hausa. sent19: the fact that the arquebus does not quiver eggnog but it is a kind of a telegraphy is false. sent20: the fact that the fetlock is not a royalty but it is a schist is wrong. sent21: something is a tundra if it quivers eggnog. sent22: if the dilutant does compromise platinum and is clinker-built then the skull is a kind of a telegraphy. sent23: the fact that the fetlock is not clinker-built is not false if the fact that the Cantabrigian is not clinker-built but it is a royalty is false. sent24: the dilutant does not compromise platinum if the Cantabrigian is not clinker-built. sent25: the dilutant is a colchicine and is not a MFA if the skull crafts. sent26: if the platinum is not diatomic then that the fetlock is not a Isabella but impossible is not right.
void -> assump1: Let's assume that the fact that the Cantabrigian is not clinker-built but it is an amalgamation is not correct.; sent12 & assump1 -> int1: the hackberry is a royalty.; sent5 & sent20 -> int2: the hackberry is not a royalty.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Cantabrigian is not clinker-built but an amalgamation.; int4 -> int5: the Cantabrigian is not clinker-built.; int5 & sent16 -> int6: that the dilutant does not compromise platinum but it is clinker-built is right.; int6 & sent17 -> int7: the skull is a telegraphy.; int7 & sent13 -> int8: the fact that the arquebus does quiver eggnog is not incorrect.; sent21 -> int9: the arquebus is a kind of a tundra if it quivers eggnog.; int8 & int9 -> hypothesis;
the arquebus is not a tundra.
sent2 -> int10: if the hackberry does not quiver eggnog it is not a telegraphy.; sent8 -> int11: if the fact that the fact that the hackberry is not a schist and it is not a axerophthol is not right is not wrong that it does not quiver eggnog is not wrong.; sent6 -> int12: the dilutant is not a kind of a inchoative if it is a colchicine and it is not a MFA.; sent1 -> int13: the skull is a craft if it is a Hausa.; sent18 -> int14: if the skull is not a Isabella it is approachable and it is a Hausa.; sent26 & sent10 -> int15: the fact that the fetlock is both not a Isabella and not a possible does not hold.; sent11 & int15 -> int16: the skull is not a Isabella.; int14 & int16 -> int17: the skull is approachable a Hausa.; int17 -> int18: the skull is a Hausa.; int13 & int18 -> int19: the skull does craft.; sent25 & int19 -> int20: the dilutant is a colchicine but it is not a MFA.; int12 & int20 -> int21: the dilutant is not a kind of a inchoative.; int21 -> int22: there is something such that it is not a kind of a inchoative.;
$hypothesis$ = the arquebus is not a kind of a tundra. ; $context$ = sent1: something is a craft if it is a Hausa. sent2: if something does not quiver eggnog it is not a telegraphy. sent3: if the Cantabrigian does compromise platinum the arquebus is not a tundra. sent4: if the fetlock is a royalty then the hackberry is not a royalty. sent5: the hackberry is not a royalty if that the fetlock is not a kind of a royalty but it is a schist is not right. sent6: something is not a kind of a inchoative if it is a colchicine and it is not a kind of a MFA. sent7: the fact that the fetlock is a royalty that is a schist does not hold. sent8: if the fact that something is not a schist and is not a kind of a axerophthol does not hold then it does not quiver eggnog. sent9: if the hackberry is not a telegraphy then the Cantabrigian compromises platinum and is a royalty. sent10: the platinum is not diatomic. sent11: the skull is not a kind of a Isabella if that the fetlock is both not a Isabella and not a possible does not hold. sent12: the hackberry is a kind of a royalty if the fact that the Cantabrigian is a kind of non-clinker-built thing that is a kind of an amalgamation is wrong. sent13: the arquebus does quiver eggnog if the skull is a telegraphy. sent14: the fact that the Cantabrigian is not non-clinker-built and it is an amalgamation is wrong. sent15: the dilutant does not compromise platinum. sent16: if the Cantabrigian is not clinker-built the dilutant does not compromise platinum and is clinker-built. sent17: if the dilutant does not compromise platinum and is clinker-built then the skull is a kind of a telegraphy. sent18: if something is not a Isabella it is approachable and it is a Hausa. sent19: the fact that the arquebus does not quiver eggnog but it is a kind of a telegraphy is false. sent20: the fact that the fetlock is not a royalty but it is a schist is wrong. sent21: something is a tundra if it quivers eggnog. sent22: if the dilutant does compromise platinum and is clinker-built then the skull is a kind of a telegraphy. sent23: the fact that the fetlock is not clinker-built is not false if the fact that the Cantabrigian is not clinker-built but it is a royalty is false. sent24: the dilutant does not compromise platinum if the Cantabrigian is not clinker-built. sent25: the dilutant is a colchicine and is not a MFA if the skull crafts. sent26: if the platinum is not diatomic then that the fetlock is not a Isabella but impossible is not right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Cantabrigian is not clinker-built but it is an amalgamation is not correct.; sent12 & assump1 -> int1: the hackberry is a royalty.; sent5 & sent20 -> int2: the hackberry is not a royalty.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Cantabrigian is not clinker-built but an amalgamation.; int4 -> int5: the Cantabrigian is not clinker-built.; int5 & sent16 -> int6: that the dilutant does not compromise platinum but it is clinker-built is right.; int6 & sent17 -> int7: the skull is a telegraphy.; int7 & sent13 -> int8: the fact that the arquebus does quiver eggnog is not incorrect.; sent21 -> int9: the arquebus is a kind of a tundra if it quivers eggnog.; int8 & int9 -> hypothesis; __DISPROVED__