story: [Jason] brought home straight A's to his father [Mark]. [David] brought home straight C's to his father [Mark]. [Jason] is happy that his brother, [Richard], is becoming successful. [Sandra] went to visit her grandson [Jason] at his college dorm.
query: ('David', 'Sandra')
clean_story: [Jason] brought home straight A's to his father [Mark]. [David] brought home straight C's to his father [Mark]. [Sandra] went to visit her grandson [Jason] at his college dorm.
proof_state: [{('David', 'grandmother', 'Sandra'): [('David', 'brother', 'Jason'), ('Jason', 'grandmother', 'Sandra')]}, {('David', 'brother', 'Jason'): [('David', 'father', 'Mark'), ('Mark', 'son', 'Jason')]}]