Rule kolaticdvwokcaqe

[id: kolaticdvwokcaqe] i(i $drank_a_lot today) && $date = eval(ymdWithSlashes()) && $name = eval(telegram_firstName()) => fact(On $date, $name $drank_a_lot.)

Loaded as

[id: kolaticdvwokcaqe] input(i $drank_a_lot today) && $date = eval(ymdWithSlashes()) && $name = eval(telegram_firstName()) => fact(On $date, $name $drank_a_lot.)