the fact that the fact that the falcon-gentle is not septal but it is a road is not true hold.
sent1: the fact that the elevator is not a groan is not incorrect if the fact that it is not a polder and is not adenocarcinomatous is wrong. sent2: if the fact that the photopigment is not undescriptive and/or does not mystify Cnemidophorus is not right then the fact that the attenuator does not mystify Cnemidophorus hold. sent3: the fact that the photopigment is not undescriptive and/or does not mystify Cnemidophorus is false. sent4: if something that does not mystify Cnemidophorus is septal then it is a road. sent5: that something is not a polder and it is not adenocarcinomatous does not hold if it does not smell. sent6: if the attenuator is a road then that the falcon-gentle is both not sincere and not a ideation is not wrong. sent7: if that the Benzedrine is intradepartmental hold that the sirenian is a kind of undescriptive thing that is not an egg is not true. sent8: the elevator is not a kind of a smell if there is something such that the fact that it is not a flophouse and is not copular is false. sent9: if something does not mystify Cnemidophorus then it is a ideation. sent10: something that does not mystify expurgator does not mystify Cnemidophorus and is septal. sent11: the falcon-gentle is sincere. sent12: if the photopigment is diagonalizable the attenuator is sincere. sent13: if the photopigment is not an egg then it does not mystify expurgator and it is not undescriptive. sent14: if the falcon-gentle is sincere and diagonalizable then the attenuator is not a ideation. sent15: if there exists something such that it does not mystify expurgator then that the photopigment is a kind of a ideation but it does not mystify Cnemidophorus does not hold. sent16: if there exists something such that it does not groan the fact that the Benzedrine does groan but it is not a kind of a yellowtail is not correct. sent17: the expurgator is not diagonalizable but it does outride if there is something such that it is not sincere. sent18: if the photopigment is a road then the attenuator is a kind of a road. sent19: if the fact that something is a ideation and does not mystify Cnemidophorus is wrong it is not non-diagonalizable. sent20: the conquistador does not mystify expurgator if there is something such that that it is a kind of undescriptive thing that is not a kind of an egg does not hold. sent21: there exists something such that that it is both not a flophouse and not copular is incorrect. sent22: if the fact that something is a groan but it is not a yellowtail does not hold that it is not intradepartmental is incorrect. sent23: something is not septal but a road if it is not diagonalizable.
void -> assump1: Let's assume that the falcon-gentle is diagonalizable.; sent11 & assump1 -> int1: the falcon-gentle is a kind of sincere thing that is diagonalizable.; int1 & sent14 -> int2: the attenuator is not a ideation.; sent9 -> int3: if the attenuator does not mystify Cnemidophorus it is a kind of a ideation.; sent2 & sent3 -> int4: the attenuator does not mystify Cnemidophorus.; int3 & int4 -> int5: the attenuator is a ideation.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the falcon-gentle is not diagonalizable.; sent23 -> int8: the falcon-gentle is not septal but it is a road if it is not diagonalizable.; int7 & int8 -> hypothesis;
that the falcon-gentle is not septal but it is a road does not hold.
sent19 -> int9: if that that the photopigment is a kind of a ideation that does not mystify Cnemidophorus hold is wrong the fact that it is diagonalizable is true.; sent22 -> int10: the Benzedrine is intradepartmental if that it is a kind of a groan and it is not a kind of a yellowtail is not right.; sent5 -> int11: if the fact that the elevator is not a smell is not wrong the fact that it is not a kind of a polder and is non-adenocarcinomatous is not right.; sent21 & sent8 -> int12: the elevator does not smell.; int11 & int12 -> int13: that the elevator is not a polder and is not adenocarcinomatous is not true.; sent1 & int13 -> int14: the elevator is not a groan.; int14 -> int15: there exists something such that it is not a groan.; int15 & sent16 -> int16: the fact that the Benzedrine is a groan but it is not a yellowtail is not correct.; int10 & int16 -> int17: the Benzedrine is not non-intradepartmental.; sent7 & int17 -> int18: the fact that the sirenian is undescriptive and is not a kind of an egg is false.; int18 -> int19: there is something such that that it is undescriptive and it is not a kind of an egg is incorrect.; int19 & sent20 -> int20: the conquistador does not mystify expurgator.; int20 -> int21: there exists something such that it does not mystify expurgator.; int21 & sent15 -> int22: the fact that the photopigment is a ideation but it does not mystify Cnemidophorus is not correct.; int9 & int22 -> int23: the photopigment is diagonalizable.; sent12 & int23 -> int24: the attenuator is sincere.; int24 -> int25: there is something such that it is sincere.;
$hypothesis$ = the fact that the fact that the falcon-gentle is not septal but it is a road is not true hold. ; $context$ = sent1: the fact that the elevator is not a groan is not incorrect if the fact that it is not a polder and is not adenocarcinomatous is wrong. sent2: if the fact that the photopigment is not undescriptive and/or does not mystify Cnemidophorus is not right then the fact that the attenuator does not mystify Cnemidophorus hold. sent3: the fact that the photopigment is not undescriptive and/or does not mystify Cnemidophorus is false. sent4: if something that does not mystify Cnemidophorus is septal then it is a road. sent5: that something is not a polder and it is not adenocarcinomatous does not hold if it does not smell. sent6: if the attenuator is a road then that the falcon-gentle is both not sincere and not a ideation is not wrong. sent7: if that the Benzedrine is intradepartmental hold that the sirenian is a kind of undescriptive thing that is not an egg is not true. sent8: the elevator is not a kind of a smell if there is something such that the fact that it is not a flophouse and is not copular is false. sent9: if something does not mystify Cnemidophorus then it is a ideation. sent10: something that does not mystify expurgator does not mystify Cnemidophorus and is septal. sent11: the falcon-gentle is sincere. sent12: if the photopigment is diagonalizable the attenuator is sincere. sent13: if the photopigment is not an egg then it does not mystify expurgator and it is not undescriptive. sent14: if the falcon-gentle is sincere and diagonalizable then the attenuator is not a ideation. sent15: if there exists something such that it does not mystify expurgator then that the photopigment is a kind of a ideation but it does not mystify Cnemidophorus does not hold. sent16: if there exists something such that it does not groan the fact that the Benzedrine does groan but it is not a kind of a yellowtail is not correct. sent17: the expurgator is not diagonalizable but it does outride if there is something such that it is not sincere. sent18: if the photopigment is a road then the attenuator is a kind of a road. sent19: if the fact that something is a ideation and does not mystify Cnemidophorus is wrong it is not non-diagonalizable. sent20: the conquistador does not mystify expurgator if there is something such that that it is a kind of undescriptive thing that is not a kind of an egg does not hold. sent21: there exists something such that that it is both not a flophouse and not copular is incorrect. sent22: if the fact that something is a groan but it is not a yellowtail does not hold that it is not intradepartmental is incorrect. sent23: something is not septal but a road if it is not diagonalizable. ; $proof$ = 
void -> assump1: Let's assume that the falcon-gentle is diagonalizable.; sent11 & assump1 -> int1: the falcon-gentle is a kind of sincere thing that is diagonalizable.; int1 & sent14 -> int2: the attenuator is not a ideation.; sent9 -> int3: if the attenuator does not mystify Cnemidophorus it is a kind of a ideation.; sent2 & sent3 -> int4: the attenuator does not mystify Cnemidophorus.; int3 & int4 -> int5: the attenuator is a ideation.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the falcon-gentle is not diagonalizable.; sent23 -> int8: the falcon-gentle is not septal but it is a road if it is not diagonalizable.; int7 & int8 -> hypothesis; __DISPROVED__