[id: kmkeuyaihqfnvcap] input(how many $faces are on a $rubiks_cube) && fact(a $rubiks_cube has $six $faces) => output($six)
[id: kmkeuyaihqfnvcap] input(how many $faces are on a $rubiks_cube|how many $faces are on an $rubiks_cube) && fact(a $rubiks_cube has $six $faces|an $rubiks_cube has $six $faces) => output($six)