the fact that the Marylander riddles Housatonic and riddles busbar does not hold.
sent1: if the pigtail is not a branched the Marylander does riddle Housatonic and it does riddle synergism. sent2: the Marylander riddles Housatonic and does not branch. sent3: the microeconomist is both a branched and not intolerable. sent4: the Marylander does not branch. sent5: the pigtail is not a branched but it riddles synergism if the armet is a passerine. sent6: the pigtail riddles synergism. sent7: The synergism riddles pigtail. sent8: if the pigtail does riddle synergism then the Marylander does riddle busbar.
sent2 -> int1: the Marylander riddles Housatonic.; sent8 & sent6 -> int2: the Marylander riddles busbar.; int1 & int2 -> hypothesis;
the fact that the Marylander does riddle synergism hold.
$hypothesis$ = the fact that the Marylander riddles Housatonic and riddles busbar does not hold. ; $context$ = sent1: if the pigtail is not a branched the Marylander does riddle Housatonic and it does riddle synergism. sent2: the Marylander riddles Housatonic and does not branch. sent3: the microeconomist is both a branched and not intolerable. sent4: the Marylander does not branch. sent5: the pigtail is not a branched but it riddles synergism if the armet is a passerine. sent6: the pigtail riddles synergism. sent7: The synergism riddles pigtail. sent8: if the pigtail does riddle synergism then the Marylander does riddle busbar. ; $proof$ = 
sent2 -> int1: the Marylander riddles Housatonic.; sent8 & sent6 -> int2: the Marylander riddles busbar.; int1 & int2 -> hypothesis; __DISPROVED__