В ФД " вытекает из предыдущего " означает , что утверждение автоматически выводится из предыдущего по строгим правилам , которые понятны машине .
в$0 ФД$1664 "$0 вытекать$18 из$0 предыдущий$1450 "$0 означать$18 ,$0 что$0 утверждение$1528 автоматически$36 выводить$1850 из$0 предыдущий$1450 по$0 строгий$1746 правило$1748 ,$0 который$1714 понятный$1726 машина$1616 .$0