[id: usixjvttohuzlxeq] input(What is the opposite of $old?) && fact(The opposite of $old is $new) => output(The opposite of $old is $new)