add failing test for triangular implication
add failing test for triangular implication

sunny94/temp,emon10005/sympy,farhaanbukhsh/sympy,iamutkarshtiwari/sympy,MridulS/sympy,jamesblunt/sympy,mcdaniel67/sympy,meghana1995/sympy,bukzor/sympy,rahuldan/sympy,kaichogami/sympy,liangjiaxing/sympy,Davidjohnwilson/sympy,cswiercz/sympy,Shaswat27/sympy,atreyv/sympy,Sumith1896/sympy,atsao72/sympy,Gadal/sympy,mafiya69/sympy,Designist/sympy,Vishluck/sympy,moble/sympy,dqnykamp/sympy,yashsharan/sympy,sunny94/temp,amitjamadagni/sympy,dqnykamp/sympy,abhiii5459/sympy,kevalds51/sympy,atreyv/sympy,garvitr/sympy,jbbskinny/sympy,chaffra/sympy,debugger22/sympy,sampadsaha5/sympy,ChristinaZografou/sympy,pbrady/sympy,kumarkrishna/sympy,meghana1995/sympy,ga7g08/sympy,shipci/sympy,wanglongqi/sympy,vipulroxx/sympy,grevutiu-gabriel/sympy,diofant/diofant,amitjamadagni/sympy,jerli/sympy,saurabhjn76/sympy,madan96/sympy,postvakje/sympy,maniteja123/sympy,jaimahajan1997/sympy,asm666/sympy,ga7g08/sympy,ahhda/sympy,asm666/sympy,wyom/sympy,jbbskinny/sympy,AkademieOlympia/sympy,asm666/sympy,chaffra/sympy,ahhda/sympy,rahuldan/sympy,hargup/sympy,vipulroxx/sympy,AunShiLord/sympy,grevutiu-gabriel/sympy,MechCoder/sympy,kevalds51/sympy,moble/sympy,chaffra/sympy,garvitr/sympy,postvakje/sympy,souravsingh/sympy,meghana1995/sympy,abloomston/sympy,hrashk/sympy,ChristinaZografou/sympy,farhaanbukhsh/sympy,kmacinnis/sympy,oliverlee/sympy,jerli/sympy,Mitchkoens/sympy,shikil/sympy,VaibhavAgarwalVA/sympy,yukoba/sympy,abhiii5459/sympy,Shaswat27/sympy,kaichogami/sympy,wanglongqi/sympy,AunShiLord/sympy,lindsayad/sympy,aktech/sympy,cswiercz/sympy,AunShiLord/sympy,sahilshekhawat/sympy,Davidjohnwilson/sympy,toolforger/sympy,wyom/sympy,abloomston/sympy,Curious72/sympy,ChristinaZografou/sympy,skirpichev/omg,kaushik94/sympy,jamesblunt/sympy,jerli/sympy,kmacinnis/sympy,shipci/sympy,grevutiu-gabriel/sympy,yashsharan/sympy,sampadsaha5/sympy,garvitr/sympy,toolforger/sympy,emon10005/sympy,pbrady/sympy,rahuldan/sympy,wyom/sympy,sahilshekhawat/sympy,MechCoder/sympy,pandeyadarsh/sympy,mafiya69/sympy,Gadal/sympy,moble/sympy,madan96/sympy,aktech/sympy,cccfran/sympy,lidavidm/sympy,MridulS/sympy,AkademieOlympia/sympy,beni55/sympy,MridulS/sympy,sahilshekhawat/sympy,sahmed95/sympy,liangjiaxing/sympy,abhiii5459/sympy,pbrady/sympy,lidavidm/sympy,postvakje/sympy,Designist/sympy,ga7g08/sympy,oliverlee/sympy,kevalds51/sympy,sampadsaha5/sympy,VaibhavAgarwalVA/sympy,beni55/sympy,sunny94/temp,mcdaniel67/sympy,MechCoder/sympy,Sumith1896/sympy,AkademieOlympia/sympy,Curious72/sympy,yashsharan/sympy,iamutkarshtiwari/sympy,Arafatk/sympy,jamesblunt/sympy,kmacinnis/sympy,wanglongqi/sympy,pandeyadarsh/sympy,drufat/sympy,mcdaniel67/sympy,maniteja123/sympy,Mitchkoens/sympy,atreyv/sympy,souravsingh/sympy,VaibhavAgarwalVA/sympy,Vishluck/sympy,kaichogami/sympy,maniteja123/sympy,bukzor/sympy,skidzo/sympy,drufat/sympy,Gadal/sympy,saurabhjn76/sympy,hrashk/sympy,Arafatk/sympy,drufat/sympy,cccfran/sympy,hrashk/sympy,jaimahajan1997/sympy,dqnykamp/sympy,aktech/sympy,vipulroxx/sympy,ahhda/sympy,hargup/sympy,atsao72/sympy,atsao72/sympy,debugger22/sympy,iamutkarshtiwari/sympy,skidzo/sympy,Arafatk/sympy,hargup/sympy,skidzo/sympy,sahmed95/sympy,Curious72/sympy,toolforger/sympy,beni55/sympy,shipci/sympy,liangjiaxing/sympy,Titan-C/sympy,yukoba/sympy,lindsayad/sympy,lidavidm/sympy,saurabhjn76/sympy,sahmed95/sympy,bukzor/sympy,Mitchkoens/sympy,kaushik94/sympy,Vishluck/sympy,kumarkrishna/sympy,kaushik94/sympy,jbbskinny/sympy,Titan-C/sympy,cswiercz/sympy,Designist/sympy,abloomston/sympy,Davidjohnwilson/sympy,yukoba/sympy,cccfran/sympy,farhaanbukhsh/sympy,Titan-C/sympy,madan96/sympy,Shaswat27/sympy,lindsayad/sympy,Sumith1896/sympy,debugger22/sympy,emon10005/sympy,souravsingh/sympy,pandeyadarsh/sympy,jaimahajan1997/sympy,shikil/sympy,mafiya69/sympy,kumarkrishna/sympy,oliverlee/sympy,shikil/sympy