the broth does not forward.
sent1: the broth is sadistic if there is something such that it lopes and is a kind of a Mansart. sent2: the Argus is a Mansart. sent3: something does lope if it is vestmental. sent4: if something is considerate but it does not congregate the Argus is vestmental. sent5: the broth is not forwarding if it is both sadistic and a roots. sent6: there exists something such that it does not billow Capital. sent7: the broth is both a roots and not non-accommodational. sent8: the tanka is considerate but it does not congregate.
sent8 -> int1: something is considerate and does not congregate.; int1 & sent4 -> int2: the Argus is vestmental.; sent3 -> int3: if the Argus is vestmental then it lopes.; int2 & int3 -> int4: the Argus does lope.; int4 & sent2 -> int5: the Argus lopes and is a kind of a Mansart.; int5 -> int6: something lopes and is a Mansart.; int6 & sent1 -> int7: the broth is sadistic.; sent7 -> int8: the broth is a roots.; int7 & int8 -> int9: the broth is sadistic and it is a roots.; int9 & sent5 -> hypothesis;
$hypothesis$ = the broth does not forward. ; $context$ = sent1: the broth is sadistic if there is something such that it lopes and is a kind of a Mansart. sent2: the Argus is a Mansart. sent3: something does lope if it is vestmental. sent4: if something is considerate but it does not congregate the Argus is vestmental. sent5: the broth is not forwarding if it is both sadistic and a roots. sent6: there exists something such that it does not billow Capital. sent7: the broth is both a roots and not non-accommodational. sent8: the tanka is considerate but it does not congregate. ; $proof$ = 
sent8 -> int1: something is considerate and does not congregate.; int1 & sent4 -> int2: the Argus is vestmental.; sent3 -> int3: if the Argus is vestmental then it lopes.; int2 & int3 -> int4: the Argus does lope.; int4 & sent2 -> int5: the Argus lopes and is a kind of a Mansart.; int5 -> int6: something lopes and is a Mansart.; int6 & sent1 -> int7: the broth is sadistic.; sent7 -> int8: the broth is a roots.; int7 & int8 -> int9: the broth is sadistic and it is a roots.; int9 & sent5 -> hypothesis; __PROVED__