「もし仮に「手広くないけれど口汚い」ということは誤りであるとすると軋るということはない」物はある
fact1: 「「「この図書館訪問記は手広くないけれど口汚い」ということは確かである」ということは嘘である」ということは正しいとするとそれは軋らない
$facts$ = fact1: 「「「この図書館訪問記は手広くないけれど口汚い」ということは確かである」ということは嘘である」ということは正しいとするとそれは軋らない ; $hypothesis$ = 「もし仮に「手広くないけれど口汚い」ということは誤りであるとすると軋るということはない」物はある ; $proof$ = 
事実1: 「「「この図書館訪問記は手広くないけれど口汚い」ということは確かである」ということは嘘である」ということは正しいとするとそれは軋らない

仮説: 「もし仮に「手広くないけれど口汚い」ということは誤りであるとすると軋るということはない」物はある