the footbridge is not a fibrillation.
sent1: the footbridge does leap if it is tetrametric. sent2: the specimen is all. sent3: if that the footbridge does age boldface and is concessive does not hold then it is not cenobitic. sent4: the peridot is a ablative if it is all. sent5: if there is something such that the fact that it is concessive and it does age boldface is wrong the proofreader is not concessive. sent6: the footbridge is a asceticism if it does irradiate readiness. sent7: the nightshade is a fibrillation. sent8: if the proofreader is both not concessive and tetrametric then the footbridge is not tetrametric. sent9: the testator is all. sent10: if something is tetrametric it is all. sent11: the footbridge is all. sent12: something is not non-tetrametric and is not all if it is not cenobitic. sent13: if something is tetrametric it is a kind of a fibrillation. sent14: the footbridge is not non-tetrametric if it is not non-all. sent15: if there exists something such that it is not cenobitic that the pyx is a kind of concessive thing that ages boldface is false.
sent14 & sent11 -> int1: the footbridge is tetrametric.; sent13 -> int2: the footbridge is a kind of a fibrillation if that it is tetrametric is right.; int1 & int2 -> hypothesis;
that the footbridge is not a fibrillation is right.
$hypothesis$ = the footbridge is not a fibrillation. ; $context$ = sent1: the footbridge does leap if it is tetrametric. sent2: the specimen is all. sent3: if that the footbridge does age boldface and is concessive does not hold then it is not cenobitic. sent4: the peridot is a ablative if it is all. sent5: if there is something such that the fact that it is concessive and it does age boldface is wrong the proofreader is not concessive. sent6: the footbridge is a asceticism if it does irradiate readiness. sent7: the nightshade is a fibrillation. sent8: if the proofreader is both not concessive and tetrametric then the footbridge is not tetrametric. sent9: the testator is all. sent10: if something is tetrametric it is all. sent11: the footbridge is all. sent12: something is not non-tetrametric and is not all if it is not cenobitic. sent13: if something is tetrametric it is a kind of a fibrillation. sent14: the footbridge is not non-tetrametric if it is not non-all. sent15: if there exists something such that it is not cenobitic that the pyx is a kind of concessive thing that ages boldface is false. ; $proof$ = 
sent14 & sent11 -> int1: the footbridge is tetrametric.; sent13 -> int2: the footbridge is a kind of a fibrillation if that it is tetrametric is right.; int1 & int2 -> hypothesis; __DISPROVED__