impliesnotxyorxyimpliesnotxoryzimpliesyorxzimpliesxoryzoryimpliesxzor2not1implies212.12001not000or0000implies0001or1001or1002implies1021implies1003or1031or1021or1003implies1023or1033implies2004or2041or1023or2043or1004implies1024or1034or1024or2044AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe