the fact that the Wobbly does drag advertence hold.
sent1: if that the Wobbly does not propagandize hold that it does not put respecter hold. sent2: the Wobbly does not put respecter. sent3: the Wobbly does not propagandize. sent4: if something crops it does not drag advertence and propagandizes. sent5: if something is not a xenotime then it does not propagandize and it crops. sent6: if the Wobbly does not propagandize it does not put respecter and it drags advertence. sent7: if the elution does not line the Wobbly is not a xenotime. sent8: the voucher does not put respecter.
sent6 & sent3 -> int1: the Wobbly does not put respecter and drags advertence.; int1 -> hypothesis;
the fact that the Wobbly does not drag advertence is not incorrect.
sent4 -> int2: the Wobbly does not drag advertence but it propagandizes if that it is a cropped is right.;
$hypothesis$ = the fact that the Wobbly does drag advertence hold. ; $context$ = sent1: if that the Wobbly does not propagandize hold that it does not put respecter hold. sent2: the Wobbly does not put respecter. sent3: the Wobbly does not propagandize. sent4: if something crops it does not drag advertence and propagandizes. sent5: if something is not a xenotime then it does not propagandize and it crops. sent6: if the Wobbly does not propagandize it does not put respecter and it drags advertence. sent7: if the elution does not line the Wobbly is not a xenotime. sent8: the voucher does not put respecter. ; $proof$ = 
sent6 & sent3 -> int1: the Wobbly does not put respecter and drags advertence.; int1 -> hypothesis; __PROVED__