the scatterbrain is not irremovable.
sent1: there exists something such that it does not tribulate holiday. sent2: that the airstrip does not tribulate holiday is not right. sent3: if the Cretan monopolizes spurner then the scatterbrain is irremovable. sent4: there exists something such that that it is a crust hold. sent5: there exists something such that it is not irremovable. sent6: the melatonin crusts but it does not monopolize spurner. sent7: the Cretan strolls and it is dissuasive. sent8: if the scatterbrain does crust the Cretan is irremovable. sent9: something that does monopolize spurner is not irremovable and does not tribulate holiday. sent10: the melatonin tribulates holiday and it is irremovable if it does not monopolize spurner. sent11: the Cretan does monopolize spurner and crusts if there exists something such that it does not tribulate holiday. sent12: if the Cretan is irremovable then the scatterbrain crusts. sent13: the Cretan is a kind of a crust if something does not tribulate holiday.
sent1 & sent11 -> int1: the fact that the Cretan does monopolize spurner and is a crust is not wrong.; int1 -> int2: the Cretan monopolizes spurner.; sent3 & int2 -> hypothesis;
the melatonin is a kind of a fieldfare that is irremovable.
sent6 -> int3: the melatonin does not monopolize spurner.; int3 & sent10 -> int4: the melatonin does tribulate holiday and it is irremovable.; int4 -> int5: the melatonin is irremovable.;
$hypothesis$ = the scatterbrain is not irremovable. ; $context$ = sent1: there exists something such that it does not tribulate holiday. sent2: that the airstrip does not tribulate holiday is not right. sent3: if the Cretan monopolizes spurner then the scatterbrain is irremovable. sent4: there exists something such that that it is a crust hold. sent5: there exists something such that it is not irremovable. sent6: the melatonin crusts but it does not monopolize spurner. sent7: the Cretan strolls and it is dissuasive. sent8: if the scatterbrain does crust the Cretan is irremovable. sent9: something that does monopolize spurner is not irremovable and does not tribulate holiday. sent10: the melatonin tribulates holiday and it is irremovable if it does not monopolize spurner. sent11: the Cretan does monopolize spurner and crusts if there exists something such that it does not tribulate holiday. sent12: if the Cretan is irremovable then the scatterbrain crusts. sent13: the Cretan is a kind of a crust if something does not tribulate holiday. ; $proof$ = 
sent1 & sent11 -> int1: the fact that the Cretan does monopolize spurner and is a crust is not wrong.; int1 -> int2: the Cretan monopolizes spurner.; sent3 & int2 -> hypothesis; __DISPROVED__