Математическая логика со своими антецедентами, консеквентами, стрелками Пирса, силлогизмами, m.p. снимает шляпу...
Вот вам система посылок и логический вывод :)
"Если мы выпустим в лес парня, то он соберет 5 кг ягод, если девушку - то 3 кг.
Но это еще не значит, что, если мы выпустим в лес обоих, то они соберут 8 кг ягод :)"