either the instrumenting neoclassicism occurs or the parricide does not occur or both.
sent1: if the fact that the instrumenting Vesalius does not occur and/or the slicing Shelley does not occur is wrong then the axiologicalness does not occur. sent2: that the descriptiveness happens prevents the non-anthraciticness. sent3: that the piss-up occurs is prevented by that both the X-raying and the evolving occurs. sent4: if that the non-anthraciticness and/or the non-descriptiveness occurs is not true then the X-raying happens. sent5: both the descriptiveness and the X-raying happens if that the evolving does not occur hold. sent6: the instrumenting Vesalius occurs if the slicing Shelley occurs. sent7: if the piss-up does not occur either the instrumenting neoclassicism occurs or the parricide does not occur or both. sent8: if the anthraciticness occurs that either the instrumenting Vesalius does not occur or the slicing Shelley does not occur or both is incorrect. sent9: the fact that the piss-up occurs and the evolving occurs does not hold if the placement does not occur. sent10: both the evolving and the placement occurs. sent11: that not the piss-up but the instrumenting neoclassicism occurs yields that the evolving does not occur. sent12: the slicing Shelley occurs. sent13: the fact that the instrumenting neoclassicism happens or the parricide does not occur or both is not right if the slicing Shelley does not occur.
sent6 & sent12 -> int1: the instrumenting Vesalius happens.; sent10 -> int2: the evolving happens.;
the axiologicalness does not occur.
$hypothesis$ = either the instrumenting neoclassicism occurs or the parricide does not occur or both. ; $context$ = sent1: if the fact that the instrumenting Vesalius does not occur and/or the slicing Shelley does not occur is wrong then the axiologicalness does not occur. sent2: that the descriptiveness happens prevents the non-anthraciticness. sent3: that the piss-up occurs is prevented by that both the X-raying and the evolving occurs. sent4: if that the non-anthraciticness and/or the non-descriptiveness occurs is not true then the X-raying happens. sent5: both the descriptiveness and the X-raying happens if that the evolving does not occur hold. sent6: the instrumenting Vesalius occurs if the slicing Shelley occurs. sent7: if the piss-up does not occur either the instrumenting neoclassicism occurs or the parricide does not occur or both. sent8: if the anthraciticness occurs that either the instrumenting Vesalius does not occur or the slicing Shelley does not occur or both is incorrect. sent9: the fact that the piss-up occurs and the evolving occurs does not hold if the placement does not occur. sent10: both the evolving and the placement occurs. sent11: that not the piss-up but the instrumenting neoclassicism occurs yields that the evolving does not occur. sent12: the slicing Shelley occurs. sent13: the fact that the instrumenting neoclassicism happens or the parricide does not occur or both is not right if the slicing Shelley does not occur. ; $proof$ = 
sent6 & sent12 -> int1: the instrumenting Vesalius happens.; sent10 -> int2: the evolving happens.; __UNKNOWN__