「その共有フォルダは朽ちるけれど脇士でない」ということは成り立たない
fact1: その共有フォルダは朽ちるがしかし脇士でない
$facts$ = fact1: その共有フォルダは朽ちるがしかし脇士でない ; $hypothesis$ = 「その共有フォルダは朽ちるけれど脇士でない」ということは成り立たない ; $proof$ = 
事実1: その共有フォルダは朽ちるがしかし脇士でない

仮説: 「その共有フォルダは朽ちるけれど脇士でない」ということは成り立たない