the Germanism does not occur.
sent1: that the bubalineness happens is triggered by that the Aleutianness does not occur and the touch does not occur. sent2: the capriole does not occur. sent3: that both the masonicness and the commanding occurs is false if the superfecundation does not occur. sent4: the non-masonicness results in that the bubalineness does not occur and the maddening escort does not occur. sent5: the downhill does not occur. sent6: that the bubalineness but not the downhill happens triggers that the Germanism does not occur. sent7: the isopteranness does not occur and the maddening evolutionism does not occur. sent8: the insensibleness occurs. sent9: both the non-hematologicness and the non-physicalness happens. sent10: the bubalineness is triggered by that not the Aleutianness but the touch occurs. sent11: the Aleutianness does not occur and the touch does not occur. sent12: that the downhill does not occur and the cosmologicness does not occur is triggered by the non-bubalineness. sent13: the non-bubalineness is prevented by that the Aleutianness but not the touch happens. sent14: if the masonicness does not occur then the Germanism and the maddening escort occurs. sent15: if the fact that the masonicness happens and the command occurs is false then the masonicness does not occur.
sent1 & sent11 -> int1: the bubalineness occurs.; int1 & sent5 -> int2: the bubalineness but not the downhill happens.; int2 & sent6 -> hypothesis;
the cosmologicness does not occur.
$hypothesis$ = the Germanism does not occur. ; $context$ = sent1: that the bubalineness happens is triggered by that the Aleutianness does not occur and the touch does not occur. sent2: the capriole does not occur. sent3: that both the masonicness and the commanding occurs is false if the superfecundation does not occur. sent4: the non-masonicness results in that the bubalineness does not occur and the maddening escort does not occur. sent5: the downhill does not occur. sent6: that the bubalineness but not the downhill happens triggers that the Germanism does not occur. sent7: the isopteranness does not occur and the maddening evolutionism does not occur. sent8: the insensibleness occurs. sent9: both the non-hematologicness and the non-physicalness happens. sent10: the bubalineness is triggered by that not the Aleutianness but the touch occurs. sent11: the Aleutianness does not occur and the touch does not occur. sent12: that the downhill does not occur and the cosmologicness does not occur is triggered by the non-bubalineness. sent13: the non-bubalineness is prevented by that the Aleutianness but not the touch happens. sent14: if the masonicness does not occur then the Germanism and the maddening escort occurs. sent15: if the fact that the masonicness happens and the command occurs is false then the masonicness does not occur. ; $proof$ = 
sent1 & sent11 -> int1: the bubalineness occurs.; int1 & sent5 -> int2: the bubalineness but not the downhill happens.; int2 & sent6 -> hypothesis; __PROVED__