Either/or necessary condition:

Following a disjunction in the necessary condition, you can do the group 3 negation trick for the “or”, and create a create a conjunction between the original sufficient condition and the newly negated sufficient condition, leaving only one idea/clause/condition as the remaining necessary condition.

“If a resident lives in a building with more than ten units, then either she has an inalienable right to keep a pet or she has not kept that pet openly and notoriously.”

- If 10+ unit resident —-> inalienable right to pet OR has not had kept pet open and notoriously”

-Lawgic:

10+ —-> )right to pet OR /kept pet open and notor)

-Group 3 rule:

10+ —-> kept pet open and notor OR right to pet

-Conjunct negated sufficient from right side of the arrow with original sufficient condition on left side of arrow

10+ AND kept pet open and notor—-> right to pet

Can be used to find and isolate rules of conditional statement with another conditional statement embedded in the necessary condition

A —cause—> B —cause—> C can be shortened to A—cause—> C

How do you know when to negate and not to negate to find “some” relations?