あの両教授はＣＡＳＥステートメントである
fact1: 「「外付けハードディスクであるということはないしまた恭しいということはない」ということは偽な」ものはあるとすれば「あの両教授はＣＡＳＥステートメントでない」ということは事実である fact2: 「「外付けハードディスクでないし恭しいということはない」ということは成り立つということはない」物はある
$facts$ = fact1: 「「外付けハードディスクであるということはないしまた恭しいということはない」ということは偽な」ものはあるとすれば「あの両教授はＣＡＳＥステートメントでない」ということは事実である fact2: 「「外付けハードディスクでないし恭しいということはない」ということは成り立つということはない」物はある ; $hypothesis$ = あの両教授はＣＡＳＥステートメントである ; $proof$ = 
事実1: 「「外付けハードディスクであるということはないしまた恭しいということはない」ということは偽な」ものはあるとすれば「あの両教授はＣＡＳＥステートメントでない」ということは事実である
事実2: 「「外付けハードディスクでないし恭しいということはない」ということは成り立つということはない」物はある

仮説: あの両教授はＣＡＳＥステートメントである