「あの蕎麦切りは確かめないけどバランス良い」ということは嘘だ
fact1: あの蕎麦切りは共有ディレクトリだ fact2: もし仮にあの蕎麦切りが共有ディレクトリであるとすればそれは確かめなくてかつそれはバランス良い
$facts$ = fact1: あの蕎麦切りは共有ディレクトリだ fact2: もし仮にあの蕎麦切りが共有ディレクトリであるとすればそれは確かめなくてかつそれはバランス良い ; $hypothesis$ = 「あの蕎麦切りは確かめないけどバランス良い」ということは嘘だ ; $proof$ = 
事実1: あの蕎麦切りは共有ディレクトリだ
事実2: もし仮にあの蕎麦切りが共有ディレクトリであるとすればそれは確かめなくてかつそれはバランス良い

仮説: 「あの蕎麦切りは確かめないけどバランス良い」ということは嘘だ