John, who had gone into the house, now reappeared. 
John came back after being in the house.
mnli hypothesis: John came back after being in the house. premise: John, who had gone into the house, now reappeared. 