story: [James] came to visit his wife [Crystal] for lunch today. [Paul] and his sister [Crystal] were fighting. [David], [Crystal]'s son, got them to put aside their differences and make up.
query: ('Paul', 'David')
clean_story: [Paul] and his sister [Crystal] were fighting. [David], [Crystal]'s son, got them to put aside their differences and make up.
proof_state: [{('Paul', 'nephew', 'David'): [('Paul', 'sister', 'Crystal'), ('Crystal', 'son', 'David')]}]