"Well, yes!  You don't have to work out the entire hidden order all at once, in order to make progress on it a piece at a time, speaking of macro reasoning strategies!  Before you've worked out that it's okay to add any quantity to a balanced occasion, it's okay to just notice that it's okay to add 2 specifically to any balanced occasion - that's a legitimate step towards starting to put the pieces together."

Require (Z-generalized):  All objects with trait-1 have trait-2.
Require (H-generalized):  All objects with trait-2 have trait-3.
Conclude (Q-generalized):  All objects with trait-1 have trait-3.

"When you build an entity with a rule in its mind that looks for a case where it believes any instance of Z-generalized and H-generalized, and concludes Q-generalized, you're building an entity that's operating a much broader necessary truth than the very narrow universal truth that connects 'If all triangles are red and all red things are large, then all triangles are large.'  You might be able to build a few dozen fairly general rules like that into a mind, and have given it a large and useful shard of the Law that connects premises and conclusions, instead of just a very narrow guideline about shapes and sizes in particular."

"Does anyone want to try naming another candidate for a belief-manipulating rule like that?"

"Well, yes!  You don't have to work out the entire hidden order all at once, in order to make progress on it a piece at a time, speaking of macro reasoning strategies!  Before you've worked out that it's okay to add any quantity to a balanced occasion, it's okay to just notice that it's okay to add 2 specifically to any balanced occasion - that's a legitimate step towards starting to put the pieces together."

Require (Z-generalized):  All objects with trait-1 have trait-2.
Require (H-generalized):  All objects with trait-2 have trait-3.
Conclude (Q-generalized):  All objects with trait-1 have trait-3.

"When you build an entity with a rule in its mind that looks for a case where it believes any instance of Z-generalized and H-generalized, and concludes Q-generalized, you're building an entity that's operating a much broader necessary truth than the very narrow universal truth that connects 'If all triangles are red and all red things are large, then all triangles are large.'  You might be able to build a few dozen fairly general rules like that into a mind, whose outputs feed into each other as inputs, and have given it a large and useful shard of the Law that connects premises and conclusions, instead of just a very narrow guideline about shapes and sizes in particular."

"Does anyone want to try naming another candidate for a belief-manipulating rule like that?"

"Well, yes!  You don't have to work out the entire hidden order all at once, in order to make progress on it a piece at a time, speaking of macro reasoning strategies!  Before you've worked out that it's okay to add any quantity to a balanced equation, it's okay to just notice that it's okay to add 2 specifically to any balanced equation - that's a legitimate step towards starting to put the pieces together."

Require (Z-generalized):  All objects with trait-1 have trait-2.
Require (H-generalized):  All objects with trait-2 have trait-3.
Conclude (Q-generalized):  All objects with trait-1 have trait-3.

"When you build an entity with a rule in its mind that looks for a case where it believes any instance of Z-generalized and H-generalized, and concludes Q-generalized, you're building an entity that's operating a much broader necessary truth than the very narrow universal truth that connects 'If all triangles are red and all red things are large, then all triangles are large.'  You might be able to build a few dozen fairly general rules like that into a mind, whose outputs feed into each other as inputs, and have given it a large and useful shard of the Law that connects premises and conclusions, instead of just a very narrow guideline about shapes and sizes in particular."

"Does anyone want to try naming another candidate for a belief-manipulating rule like that?"

"Well, yes!  You don't have to work out the entire hidden order all at once, in order to make progress on it a piece at a time, speaking of macro reasoning strategies!  Before you've worked out that it's okay to add any quantity to a balanced equation, it's fine to start by noticing just that it's okay to add 2 specifically to any balanced equation - that's a legitimate step towards starting to put the pieces together yourself."

Require (Z-generalized):  All objects with trait-1 have trait-2.
Require (H-generalized):  All objects with trait-2 have trait-3.
Conclude (Q-generalized):  All objects with trait-1 have trait-3.

"When you build an entity with a rule in its mind that looks for a case where it believes any instance of Z-generalized and H-generalized, and concludes Q-generalized, you're building an entity that's operating a much broader necessary truth than the very narrow universal truth that connects 'If all triangles are red and all red things are large, then all triangles are large.'  You might be able to build a few dozen fairly general rules like that into a mind, whose outputs feed into each other as inputs, and have given it a large and useful shard of the Law that connects premises and conclusions, instead of just a very narrow guideline about shapes and sizes in particular."

"Does anyone want to try naming another candidate for a belief-manipulating rule like that?"

"Well, yes!  You don't have to work out the entire hidden order all at once, in order to make progress on it a piece at a time, speaking of macro reasoning strategies!  Before you've worked out that it's okay to add any quantity to a balanced equation, it's fine to start by noticing just that it's okay to add 2 specifically to any balanced equation - that's a legitimate step towards starting to put the pieces together yourself."

Require (Z-generalized):  All objects with trait-1 have trait-2.
Require (H-generalized):  All objects with trait-2 have trait-3.
Conclude (Q-generalized):  All objects with trait-1 have trait-3.

"When you build an entity with a rule in its mind that looks for a case where it believes any instance of Z-generalized and H-generalized, and concludes Q-generalized, you're building an entity that's operating a much broader necessary truth than the very narrow universal truth that connects 'If all triangles are red and all red things are large, then all triangles are large.'  You might be able to build a few dozen fairly general rules like that into a mind, whose outputs feed into each other as inputs, and have thereby given it a noticeably-sized shard of the Law that connects premises and conclusions, instead of just a very narrow guideline about shapes and sizes in particular."

"Does anyone want to try naming another candidate for a belief-manipulating rule like that?"

"Well, yes!  You don't have to work out the entire hidden order all at once, in order to make progress on it a piece at a time, speaking of macro reasoning strategies!  Before you've worked out that it's okay to add any quantity to a balanced equation, it's fine to start by noticing just that it's okay to add 2 specifically to any balanced equation.  That's a legitimate step towards starting to put the pieces together for yourself."

Require (Z-generalized):  All objects with trait-1 have trait-2.
Require (H-generalized):  All objects with trait-2 have trait-3.
Conclude (Q-generalized):  All objects with trait-1 have trait-3.

"When you build an entity with a rule in its mind that looks for a case where it believes any instance of Z-generalized and H-generalized, and concludes Q-generalized, you're building an entity that's operating a much broader necessary truth than the very narrow universal truth that connects 'If all triangles are red and all red things are large, then all triangles are large.'  You might be able to build a few dozen fairly general rules like that into a mind, whose outputs feed into each other as inputs, and have thereby given it a noticeably-sized shard of the Law that connects premises and conclusions, instead of just a very narrow guideline about shapes and sizes in particular."

"Does anyone want to try naming another candidate for a belief-manipulating rule like that?"