「このアチドージスは入り辛くなくてかつそれは立ち塞がらない」ということは嘘だ
fact1: 入り辛いということはなくて立ち塞がるということはないというものはない
$facts$ = fact1: 入り辛いということはなくて立ち塞がるということはないというものはない ; $hypothesis$ = 「このアチドージスは入り辛くなくてかつそれは立ち塞がらない」ということは嘘だ ; $proof$ = 
事実1: 入り辛いということはなくて立ち塞がるということはないというものはない

仮説: 「このアチドージスは入り辛くなくてかつそれは立ち塞がらない」ということは嘘だ