  Inspired by the recent pioneering work, dubbed "The Ramanujan Machine" by
Raayoni et al. (arXiv:1907.00205), we (automatically) [rigorously] prove some
of their conjectures regarding the exact values of some specific infinite
continued fractions, and generalize them to evaluate infinite families
(naturally generalizing theirs). Our work complements their beautiful approach,
since we use symbolic rather than numeric computations, and we instruct the
computer to not only discover such evaluations, but at the same time prove them
rigorously.
