the marginalization does not railroad.
sent1: the fact that something does not railroad but it is a kind of a co-option is incorrect if it is not basal. sent2: the anomalopteryx is not a ultramontane. sent3: the workbench is either not juiceless or polymorphemic or both. sent4: if something is a kind of a sleepiness then that that the captopril is both not non-long-distance and a crossbow hold does not hold. sent5: the fact that the nitrobenzene is a Tatum and a co-option does not hold. sent6: the apomict is non-basal if there is something such that the fact that it is a kind of long-distance thing that is a crossbow is not right. sent7: if that the marginalization is a kind of a co-option that is a railroading hold it is not basal. sent8: the fact that the marginalization is a sleepiness and does not deflower hauberk does not hold. sent9: the anomalopteryx is not a kind of a crossbow if the fact that the lamplight deflowers hauberk and it is long-distance is false. sent10: if the anomalopteryx is not ultramontane then it is a sleepiness and it is a fade. sent11: the marginalization is not long-distance. sent12: something is not a crossbow if the fact that it is a sleepiness and it does not deflower hauberk does not hold. sent13: that the lamplight does deflower hauberk and is long-distance is not correct if the Junker is not a sleepiness. sent14: the fact that the marginalization is a kind of a copartner but it does not cleave is not correct. sent15: the Junker is not a sleepiness if the Leonberg is a kind of a sleepiness. sent16: that the Leonberg is not a Helipterum is not wrong if there exists something such that either it is not juiceless or it is polymorphemic or both. sent17: everything is a co-option. sent18: if the anomalopteryx is not a kind of a crossbow the captopril is not a crossbow. sent19: the captopril is a railroading and a co-option if it is not a crossbow. sent20: the antidepressant does not deflower hauberk. sent21: something is a ultramontane or it does not fade or both if it is not a Helipterum. sent22: something is a kind of a sleepiness if it is a ultramontane and/or it does not fade. sent23: if the marginalization is not long-distance then that it is not basal and it is not a kind of a crossbow does not hold.
sent17 -> int1: the marginalization is a co-option.; void -> assump1: Let's assume that that the marginalization is not a railroading is false.; int1 & assump1 -> int2: the marginalization is both a co-option and a railroading.; int2 & sent7 -> int3: the fact that the marginalization is not basal hold.; sent12 -> int4: if that the marginalization is a sleepiness but it does not deflower hauberk is not true it is not a crossbow.; int4 & sent8 -> int5: the marginalization is not a crossbow.; int3 & int5 -> int6: the marginalization is not basal and not a crossbow.; sent23 & sent11 -> int7: the fact that the marginalization is non-basal thing that is not a crossbow is false.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the marginalization is a kind of a railroading.
sent22 -> int9: if the Leonberg is ultramontane and/or does not fade it is a sleepiness.; sent21 -> int10: the Leonberg is a ultramontane and/or is not a fade if it is not a kind of a Helipterum.; sent3 -> int11: something is not juiceless and/or is polymorphemic.; int11 & sent16 -> int12: the Leonberg is not a Helipterum.; int10 & int12 -> int13: the Leonberg is a kind of a ultramontane and/or it does not fade.; int9 & int13 -> int14: the Leonberg is a sleepiness.; sent15 & int14 -> int15: the Junker is not a kind of a sleepiness.; sent13 & int15 -> int16: the fact that the lamplight does deflower hauberk and is long-distance is incorrect.; sent9 & int16 -> int17: the anomalopteryx is not a crossbow.; sent18 & int17 -> int18: the captopril is not a crossbow.; sent19 & int18 -> int19: the captopril does railroad and it is a co-option.; int19 -> int20: the captopril is a railroading.; int20 -> int21: there exists something such that it is a railroading.;
$hypothesis$ = the marginalization does not railroad. ; $context$ = sent1: the fact that something does not railroad but it is a kind of a co-option is incorrect if it is not basal. sent2: the anomalopteryx is not a ultramontane. sent3: the workbench is either not juiceless or polymorphemic or both. sent4: if something is a kind of a sleepiness then that that the captopril is both not non-long-distance and a crossbow hold does not hold. sent5: the fact that the nitrobenzene is a Tatum and a co-option does not hold. sent6: the apomict is non-basal if there is something such that the fact that it is a kind of long-distance thing that is a crossbow is not right. sent7: if that the marginalization is a kind of a co-option that is a railroading hold it is not basal. sent8: the fact that the marginalization is a sleepiness and does not deflower hauberk does not hold. sent9: the anomalopteryx is not a kind of a crossbow if the fact that the lamplight deflowers hauberk and it is long-distance is false. sent10: if the anomalopteryx is not ultramontane then it is a sleepiness and it is a fade. sent11: the marginalization is not long-distance. sent12: something is not a crossbow if the fact that it is a sleepiness and it does not deflower hauberk does not hold. sent13: that the lamplight does deflower hauberk and is long-distance is not correct if the Junker is not a sleepiness. sent14: the fact that the marginalization is a kind of a copartner but it does not cleave is not correct. sent15: the Junker is not a sleepiness if the Leonberg is a kind of a sleepiness. sent16: that the Leonberg is not a Helipterum is not wrong if there exists something such that either it is not juiceless or it is polymorphemic or both. sent17: everything is a co-option. sent18: if the anomalopteryx is not a kind of a crossbow the captopril is not a crossbow. sent19: the captopril is a railroading and a co-option if it is not a crossbow. sent20: the antidepressant does not deflower hauberk. sent21: something is a ultramontane or it does not fade or both if it is not a Helipterum. sent22: something is a kind of a sleepiness if it is a ultramontane and/or it does not fade. sent23: if the marginalization is not long-distance then that it is not basal and it is not a kind of a crossbow does not hold. ; $proof$ = 
sent17 -> int1: the marginalization is a co-option.; void -> assump1: Let's assume that that the marginalization is not a railroading is false.; int1 & assump1 -> int2: the marginalization is both a co-option and a railroading.; int2 & sent7 -> int3: the fact that the marginalization is not basal hold.; sent12 -> int4: if that the marginalization is a sleepiness but it does not deflower hauberk is not true it is not a crossbow.; int4 & sent8 -> int5: the marginalization is not a crossbow.; int3 & int5 -> int6: the marginalization is not basal and not a crossbow.; sent23 & sent11 -> int7: the fact that the marginalization is non-basal thing that is not a crossbow is false.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__