この煩は重なり合わない
fact1: この煩は八十七ＳＲだ fact2: 仮にこの煩が八十七ＳＲだとするとそれは重なり合う
$facts$ = fact1: この煩は八十七ＳＲだ fact2: 仮にこの煩が八十七ＳＲだとするとそれは重なり合う ; $hypothesis$ = この煩は重なり合わない ; $proof$ = 
事実1: この煩は八十七ＳＲだ
事実2: 仮にこの煩が八十七ＳＲだとするとそれは重なり合う

仮説: この煩は重なり合わない