Ok, kids, time for more geometric laws with Aksiz!
Let's have a go at the law of detachment.
Friendly reminder: Detachment means that p implies q, so if p is true, q must also be true.
Let p = (x) is on Sherlock's list of pressure points.
Let q= (x) is an important person to Sherlock.
If (x) is on Sherlock's list of pressure points, then (x) is an important person to Sherlock.
We can replace (x) with people, and if p is true, then q is true as well according to this law.
If (x) = Anderson, the statement returns: false.
If (x) = Sally, the statement returns: false.
If (x) = Irene, the statement returns: true.
This means the statement "Irene is an important person to Sherlock" is a true statement.
(Note: I realize some Johnlock shippers might say, "oh, but John's on that list too!" That is a correct statement. John is an important person to Sherlock. But here, I am disproving the statement "Irene is not an important person to Sherlock.")
(P.S., in case you can't tell, I'm going into the computer engineering industry when I get to college.)