there exists something such that if it does not capitalize brisket the fact that it is a kind of non-locomotive an irregular is false.
sent1: if something does not capitalize brisket that it is not a kind of a locomotive and it is irregular does not hold.
sent1 -> int1: that the maxi is non-locomotive an irregular is false if the fact that it does not capitalize brisket is not wrong.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not capitalize brisket the fact that it is a kind of non-locomotive an irregular is false. ; $context$ = sent1: if something does not capitalize brisket that it is not a kind of a locomotive and it is irregular does not hold. ; $proof$ = 
sent1 -> int1: that the maxi is non-locomotive an irregular is false if the fact that it does not capitalize brisket is not wrong.; int1 -> hypothesis; __PROVED__