このマシンコードはまどろむか摺り下ろしでないかもしくは両方だ
fact1: もしもあの法科大学院は把握し易くないとすると「このマシンコードはまどろむか摺り下ろしでないか両方だ」ということは成り立たない fact2: あの法科大学院は把握し易いということはない
$facts$ = fact1: もしもあの法科大学院は把握し易くないとすると「このマシンコードはまどろむか摺り下ろしでないか両方だ」ということは成り立たない fact2: あの法科大学院は把握し易いということはない ; $hypothesis$ = このマシンコードはまどろむか摺り下ろしでないかもしくは両方だ ; $proof$ = 
事実1: もしもあの法科大学院は把握し易くないとすると「このマシンコードはまどろむか摺り下ろしでないか両方だ」ということは成り立たない
事実2: あの法科大学院は把握し易いということはない

仮説: このマシンコードはまどろむか摺り下ろしでないかもしくは両方だ