Space 7D
Adds Same/Opposite polarity in place of Contains and a seventh syllogistic class-hierarchy axis, including transforms, Analogies, Binary sources, and per-mode controls.
Adds Same/Opposite polarity in place of Contains and a seventh syllogistic class-hierarchy axis, including transforms, Analogies, Binary sources, and per-mode controls.
Add Months, Clock Hours, configurable Number Rings, compact help, adjacent-step premises, novel-pair queries, relative-only trials, encounter-order and shortest-arc conclusions, cycle rotations, and mixed circular claims.
Train circular reasoning across Monday through Sunday, including wraparound before/after relations and multi-step conclusions.
Optionally answer TRUE, FALSE, or INDETERMINABLE according to whether the premises force a claim, force its contradiction, or leave both possibilities open.
Linear and Distinction can now select non-trivial pairs from the middle of the stimulus network, while Space modes continue avoiding obvious opposite-direction distractors.
Optionally weight 2–5 time levels for Space 4D, 5D, and 6D using the same compact controls as height.
Choose the extra relation dimension in Space 4D or any two relation dimensions in Space 5D.
Build the relation between two points one axis at a time instead of answering TRUE or FALSE.
Optionally reroll the current question without changing score or accuracy.
Match highlighted nodes across procedurally rearranged isomorphic directed webs. Structural trials remove simple position and degree shortcuts.
Set a different conclusion count for each supported mode while keeping one global default.
Settings, History, Info, Changelogs, and Graph now use a compact mobile scale so every control stays visible.
Abstract symbols now stay readable against the active game background. Relation Gaps briefly show selected relation cues before masking them.
Send text and image feedback directly from the Changelogs panel. Submitted feedback is available only in the private owner view.
Syllogism now uses quantified set logic for All, No, Some, and Some-not. Trials form connected proof networks where every premise is required.
Choose Adaptive or force 2–5 height levels.
Optional connected maps for Space 3D–6D.
Multiple stimuli stay ordered and comma-separated.
View update notes without leaving the app.
SpaceToggle Timer
←, 1, jAnswer True
→, 2, kAnswer False
hOpen History
aPrev (Carousel)
dNext (Carousel)
∀ A ⊆ B All A are B
∀ A ⊥ B No A are B
∃ A ∩ B Some A are B
∃ A ∖ B Some A are not B
∀ = every member · ∃ = at least one member
Left
Right
Up
Down
Down-Left
Down-Right
Up-Left
Up-Right
Same position / no movement on this axis
AND — Both conclusions are true
NAND — Not both conclusions are true
OR — At least one conclusion is true
NOR — Neither conclusion is true
XOR — Exactly one conclusion is true
XNOR — Both conclusions have the same truth value
¬ / not
Example: "A ¬↑ B" = "A is not north of B"
▼ Below
▲ Above
←t Past / was
t→ Future / will be
←t Was before
=t Simultaneous
t→ Will be after
> More than
=q Equal to
< Less than
⊂ Within
≠m Separate
⊃ Contains
symbol^n Repeat a direction or axis n times
▲^2 / ▼^2 Double height
←t^2 / t→^2 Double temporal distance
↑^2 / →^3 Repeated spatial distance
D🪞 Mirror across dimension D
D := Set dimension D equal to the reference
D↔️ Scale distance on dimension D
XY 90°↻ / ↺ Rotate in a plane
↷ / ↺ … each Rotate again after every premise
e.g. "A XY-rotates 90°↷ around B"
⇄ each2 Oscillate every other premise
e.g. "C oscillates across Z from D"
Interleave: transforms mixed between premises
Continuous: transforms repeat with each premise
Both can be used together or separately
⇢ Faces a target
⇢↑ / ⇢NE Faces a fixed direction
↻n / ↺n Turns clockwise / counterclockwise by n°
↻n @ / ↺n @ Rotates around another object
EXACT = / EXACT ≠ Same / different relative facing
∋ / ¬∋ Has / does not have
∋? / ¬∋? Would have / would not have
@ / @? Is at / would be at
⇄P / ⇄L / ⇄T Swap people / locations / times
A→B Ordered analogy pair
≡ Same relation as another pair
≢ Opposite relation to another pair
Reflexivity Every node points to itself
Irreflexivity No node points to itself
Symmetry If A → B, then B → A
Antisymmetry Different nodes cannot point both ways; self-arrows are allowed
Asymmetry Strictly one-way: no self-arrows and no two-way pairs
Transitivity If A → B and B → C, then A → C
Property Categories: TRUE when both graphs satisfy the named property or both graphs violate it
= Same relation / same as
☍ Opposite / different (Distinction)
≠ Different relation (Analogy)
⊃ Contains
⊂ Is within
⇄ Object swap
⇄R Relation swap
⇄F Facing-direction swap
= / ≠ Same / opposite
⊃ / ⊂ Contains / within
← / → · ↑ / ↓ Left / right · above / below
N/S/E/W North/South/East/West
NE/NW/SE/SW Diagonal spatial relations
‹ / › Before / after
FN/FS/FE/FW Faces a cardinal direction
FNE/FNW/FSE/FSW Faces a diagonal direction