「その七月渡しは久しいかもしくは三門でない」ということは本当である
fact1: この人間活動は確立すということはない fact2: その七月渡しは確立すということはない fact3: もしその七月渡しは確立すらないとすると「それは久しいかまたは三門でない」ということは成り立たない
$facts$ = fact1: この人間活動は確立すということはない fact2: その七月渡しは確立すということはない fact3: もしその七月渡しは確立すらないとすると「それは久しいかまたは三門でない」ということは成り立たない ; $hypothesis$ = 「その七月渡しは久しいかもしくは三門でない」ということは本当である ; $proof$ = 
事実1: この人間活動は確立すということはない
事実2: その七月渡しは確立すということはない
事実3: もしその七月渡しは確立すらないとすると「それは久しいかまたは三門でない」ということは成り立たない

仮説: 「その七月渡しは久しいかもしくは三門でない」ということは本当である