the belching is not a latrine.
sent1: the anthropologist does age wing-nut. sent2: if the latex ages anthropologist then the belching is a kind of a latrine. sent3: The wing-nut does age anthropologist. sent4: that the anthropologist is not a kind of a Capone and ages anthropologist is not right. sent5: if there is something such that it either is a kind of a cathedral or ages wing-nut or both then the linin does not age anthropologist. sent6: if the linin does not age anthropologist then the latex does age anthropologist but it is not a Capone.
sent1 -> int1: the anthropologist either is cathedral or ages wing-nut or both.; int1 -> int2: something either is a cathedral or ages wing-nut or both.; int2 & sent5 -> int3: the linin does not age anthropologist.; int3 & sent6 -> int4: the latex ages anthropologist but it is not a kind of a Capone.; int4 -> int5: the latex ages anthropologist.; int5 & sent2 -> hypothesis;
that the hotdog is a kind of a cathedral and/or is a kind of a tracker is not wrong.
sent4 -> int6: there is something such that that it is not a Capone and ages anthropologist is not true.;
$hypothesis$ = the belching is not a latrine. ; $context$ = sent1: the anthropologist does age wing-nut. sent2: if the latex ages anthropologist then the belching is a kind of a latrine. sent3: The wing-nut does age anthropologist. sent4: that the anthropologist is not a kind of a Capone and ages anthropologist is not right. sent5: if there is something such that it either is a kind of a cathedral or ages wing-nut or both then the linin does not age anthropologist. sent6: if the linin does not age anthropologist then the latex does age anthropologist but it is not a Capone. ; $proof$ = 
sent1 -> int1: the anthropologist either is cathedral or ages wing-nut or both.; int1 -> int2: something either is a cathedral or ages wing-nut or both.; int2 & sent5 -> int3: the linin does not age anthropologist.; int3 & sent6 -> int4: the latex ages anthropologist but it is not a kind of a Capone.; int4 -> int5: the latex ages anthropologist.; int5 & sent2 -> hypothesis; __DISPROVED__