argument2.dot

digraph G {
splines=true
newrank=true
compound=true


node[color=red3, style="rounded, filled", shape="box", fillcolor=white, penwidth=1, fontcolor=black, fontsize=16, margin=0.1]
o1[label="Objection contre
cette prémisse"]

node[shape=box, fillcolor=white, style="filled,rounded", color=black, fontsize=24, penwidth=1,fontcolor=black, margin=0.1]
edge[minlen=2,color=red3, penwidth=0.8, arrowsize=0.8, label=" Mais …", fontcolor=red4,fontsize=12]
{rank=same;o1->p1[dir=back]}


subgraph cluster_0 {
bgcolor=grey90
style=rounded
color=grey50
margin=40



node[shape=box, fillcolor=white, style="filled,rounded", color=black]
edge[label="",xlabel="Par
conséquent …",fontcolor=grey40;fontsize=15,minlen=3,color=black,penwidth=1, arrowsize=1]



subgraph cluster_1 {
style="box"
margin=15
bgcolor=grey73
color=grey73
p1[label="(1) Prémisse A"]

p2[label="(2) Prémisse B"]
}

p1->p2[style=invis,xlabel="",minlen=1]
//{rank=same;p1->p2[style=invis,xlabel="",minlen=1]}

p2:s->p3:n[ltail=cluster_1]
//p2:w->p3:n[ltail=cluster_1]
p3[label="(3) Lemme 1"]

{rank=same;p3->p4[style=invis]}

p4[label="(4) Prémisse 3"]

{p3,p4}->C


C[label="Conclusion",fillcolor=black, fontcolor=white, color=black, shape=ellipse]


}

node[color=red3, style="rounded, filled", shape="box", fillcolor=white, penwidth=1, fontcolor=black, fontsize=16, margin=0.1]
o2[label="Objection contre
cette prémisse"]
{rank=same;p4->o2}

}