[id: xdpmvvupncxcfkxv] i(do you have to $solve_a_rubiks_cube?) => sayIfTrue(i don't have to do anything)
[id: xdpmvvupncxcfkxv] input(do you have to $solve_a_rubiks_cube?) && fact(i don't have to do anything) => output(i don't have to do anything)