🌳✔️❌

#semantic tableau #logic tree #proof method #decision tree #formal logic