その販売店は併発する
fact1: その販売店は小子だ fact2: もし仮にその販売店は小子であるなら「併発するということはない」ということは真実だ
$facts$ = fact1: その販売店は小子だ fact2: もし仮にその販売店は小子であるなら「併発するということはない」ということは真実だ ; $hypothesis$ = その販売店は併発する ; $proof$ = 
事実1: その販売店は小子だ
事実2: もし仮にその販売店は小子であるなら「併発するということはない」ということは真実だ

仮説: その販売店は併発する