story: [Adam] made a sandwich for his son [Otto]. [Otto]'s brother [Paul] ate an apple instead. [Otto] went to the wedding ceremony for his brother [Preston].
query: ('Adam', 'Paul')
clean_story: [Adam] made a sandwich for his son [Otto]. [Otto]'s brother [Paul] ate an apple instead.
proof_state: [{('Adam', 'son', 'Paul'): [('Adam', 'son', 'Otto'), ('Otto', 'brother', 'Paul')]}]