Added rule against double triples and graphic logic