story: [James] loves to dance with his wife. Her name is [Crystal]. [James] is an engineer who loves to take his son [David] to the science museum to help him learn about the world [James] is helping his son study. His name is [Bernard].
query: ('Crystal', 'Bernard')
clean_story: [James] loves to dance with his wife. Her name is [Crystal]. [James] is helping his son study. His name is [Bernard].
proof_state: [{('Crystal', 'son', 'Bernard'): [('Crystal', 'husband', 'James'), ('James', 'son', 'Bernard')]}]