「「仮に「横倒しだということはないしその上体言プラスでない」ということは嘘だとするとロスト・ハイウェイでない」ものはある」ということは事実である
fact1: 仮に「このＡＤＨＤ行動は横倒しでないしさらにそれは体言プラスでない」ということは嘘だとしたらそれはロスト・ハイウェイでない
$facts$ = fact1: 仮に「このＡＤＨＤ行動は横倒しでないしさらにそれは体言プラスでない」ということは嘘だとしたらそれはロスト・ハイウェイでない ; $hypothesis$ = 「「仮に「横倒しだということはないしその上体言プラスでない」ということは嘘だとするとロスト・ハイウェイでない」ものはある」ということは事実である ; $proof$ = 
事実1: 仮に「このＡＤＨＤ行動は横倒しでないしさらにそれは体言プラスでない」ということは嘘だとしたらそれはロスト・ハイウェイでない

仮説: 「「仮に「横倒しだということはないしその上体言プラスでない」ということは嘘だとするとロスト・ハイウェイでない」ものはある」ということは事実である