 Letting ‘\(Tx\)’ mean ‘\(x\) is a thread’; ‘\(Wx\)’ mean the complex statement ‘\(x\) is loaded with a weight exceeding that which characterizes its tensile strength’; and ‘\(Bx\)’ mean ‘\(x\) breaks’ we write the inference schema: