この栴檀は束子でないかまたはそれは繋ぎ止めないかもしくはどちらもである
fact1: もしもこのツーレーザー法は合成するとしたら「この栴檀は束子だということはないかあるいは繋ぎ止めないかあるいは両方ともだ」ということは成り立つということはない fact2: 「この参究塾は合成する」ということは成り立つ fact3: 「このツーレーザー法は合成する」ということは成り立つ
$facts$ = fact1: もしもこのツーレーザー法は合成するとしたら「この栴檀は束子だということはないかあるいは繋ぎ止めないかあるいは両方ともだ」ということは成り立つということはない fact2: 「この参究塾は合成する」ということは成り立つ fact3: 「このツーレーザー法は合成する」ということは成り立つ ; $hypothesis$ = この栴檀は束子でないかまたはそれは繋ぎ止めないかもしくはどちらもである ; $proof$ = 
事実1: もしもこのツーレーザー法は合成するとしたら「この栴檀は束子だということはないかあるいは繋ぎ止めないかあるいは両方ともだ」ということは成り立つということはない
事実2: 「この参究塾は合成する」ということは成り立つ
事実3: 「このツーレーザー法は合成する」ということは成り立つ

仮説: この栴檀は束子でないかまたはそれは繋ぎ止めないかもしくはどちらもである