この法現象は書き合わない
fact1: もし仮にこの法現象はスタイルセットでないかあるいは交換跡であるかあるいはどちらもだとすれば書き合う fact2: この法現象はスタイルセットでないかもしくは交換跡であるか両方ともだ
$facts$ = fact1: もし仮にこの法現象はスタイルセットでないかあるいは交換跡であるかあるいはどちらもだとすれば書き合う fact2: この法現象はスタイルセットでないかもしくは交換跡であるか両方ともだ ; $hypothesis$ = この法現象は書き合わない ; $proof$ = 
事実1: もし仮にこの法現象はスタイルセットでないかあるいは交換跡であるかあるいはどちらもだとすれば書き合う
事実2: この法現象はスタイルセットでないかもしくは交換跡であるか両方ともだ

仮説: この法現象は書き合わない