「「「免許しないし悲しい」ということは誤りな」ものはある」ということは成り立たない
fact1: 「この探索行動は免許しないがしかし悲しい」ということは嘘である
$facts$ = fact1: 「この探索行動は免許しないがしかし悲しい」ということは嘘である ; $hypothesis$ = 「「「免許しないし悲しい」ということは誤りな」ものはある」ということは成り立たない ; $proof$ = 
事実1: 「この探索行動は免許しないがしかし悲しい」ということは嘘である

仮説: 「「「免許しないし悲しい」ということは誤りな」ものはある」ということは成り立たない