xorxFxxorxnegxFandxTxandxFFandxxxandxorxyzxorandxzandyzxorxxFimplxyxorandxyxorxTorxyxorandxyxorxyequivxyxorxxoryTnegxxorxTxor2F0neg1and2T0impl2or2equiv2FULL./TRS/Cime/boolean_rings.trs