the diencephalon is a kind of an armistice.
sent1: the chordophone is caducean if there exists something such that that it does not shatter cush-cush and it does not shatter Thatcherite is wrong. sent2: the fact that the anthophyllite is not unforgettable is not false if there is something such that it does sour or is not a augury or both. sent3: that the anthophyllite does not shatter cush-cush and shatters Thatcherite is not right. sent4: if the chordophone relines merited or is caducean or both then the diencephalon is not an armistice. sent5: if there exists something such that it does sour the anthophyllite is not unforgettable. sent6: there is something such that it is a goatskin or it is not conceptualistic or both. sent7: the fact that the fact that the anthophyllite does shatter cush-cush and does not shatter Thatcherite does not hold hold if it is not unforgettable. sent8: that that something does not shatter cush-cush and does not shatter Thatcherite does not hold if it is not unforgettable is correct. sent9: there exists something such that it does sour and/or it is not a augury. sent10: if the anthophyllite is unforgettable or it is an armistice or both the diencephalon does not shatter cush-cush. sent11: there is something such that that it shatters cush-cush and does not shatter Thatcherite is wrong.
sent9 & sent2 -> int1: the anthophyllite is not unforgettable.; sent8 -> int2: that the anthophyllite does not shatter cush-cush and does not shatter Thatcherite is not correct if it is not unforgettable.; int1 & int2 -> int3: the fact that the anthophyllite does not shatter cush-cush and it does not shatter Thatcherite does not hold.; int3 -> int4: there exists something such that the fact that it does not shatter cush-cush and does not shatter Thatcherite is not true.; int4 & sent1 -> int5: the chordophone is caducean.; int5 -> int6: either the chordophone relines merited or it is caducean or both.; int6 & sent4 -> hypothesis;
$hypothesis$ = the diencephalon is a kind of an armistice. ; $context$ = sent1: the chordophone is caducean if there exists something such that that it does not shatter cush-cush and it does not shatter Thatcherite is wrong. sent2: the fact that the anthophyllite is not unforgettable is not false if there is something such that it does sour or is not a augury or both. sent3: that the anthophyllite does not shatter cush-cush and shatters Thatcherite is not right. sent4: if the chordophone relines merited or is caducean or both then the diencephalon is not an armistice. sent5: if there exists something such that it does sour the anthophyllite is not unforgettable. sent6: there is something such that it is a goatskin or it is not conceptualistic or both. sent7: the fact that the fact that the anthophyllite does shatter cush-cush and does not shatter Thatcherite does not hold hold if it is not unforgettable. sent8: that that something does not shatter cush-cush and does not shatter Thatcherite does not hold if it is not unforgettable is correct. sent9: there exists something such that it does sour and/or it is not a augury. sent10: if the anthophyllite is unforgettable or it is an armistice or both the diencephalon does not shatter cush-cush. sent11: there is something such that that it shatters cush-cush and does not shatter Thatcherite is wrong. ; $proof$ = 
sent9 & sent2 -> int1: the anthophyllite is not unforgettable.; sent8 -> int2: that the anthophyllite does not shatter cush-cush and does not shatter Thatcherite is not correct if it is not unforgettable.; int1 & int2 -> int3: the fact that the anthophyllite does not shatter cush-cush and it does not shatter Thatcherite does not hold.; int3 -> int4: there exists something such that the fact that it does not shatter cush-cush and does not shatter Thatcherite is not true.; int4 & sent1 -> int5: the chordophone is caducean.; int5 -> int6: either the chordophone relines merited or it is caducean or both.; int6 & sent4 -> hypothesis; __DISPROVED__