Larger$($e$,$ c$),$LeftOf$($a$,$c$),$ and SameCol$($a$,$b$)$ are the premises and FrontOf$($c$,$b$)$ is the goal. I need proofs for fitch using only rules either ana con, Elimination,Introduction,or reiteration and also no assumptions or sub proofs. i also need to know which type of intro,elim is being used like for example$=$elim whatever i need the symbols i use for the proof rule. basically i need a way to write into fitch