Rule jlfixatsjgpwixdw

[id: jlfixatsjgpwixdw] line1(what is $flash_memory?)
  && line2(a $type_of_memory?)
  && line3(no)
  => fact(Untrue: $flash_memory is a $type_of_memory)