「「締めっぽいがしかし巡礼でない」物はある」ということは偽である
fact1: その二十五年後は締めっぽいがしかし巡礼でない
$facts$ = fact1: その二十五年後は締めっぽいがしかし巡礼でない ; $hypothesis$ = 「「締めっぽいがしかし巡礼でない」物はある」ということは偽である ; $proof$ = 
事実1: その二十五年後は締めっぽいがしかし巡礼でない

仮説: 「「締めっぽいがしかし巡礼でない」物はある」ということは偽である