「あのトゥデーは十大費目でなくておまけに取り掛からない」ということは成り立たない
fact1: もしもあのトゥデーはＴＥＸ四ＨＴであるとするとそれは十大費目でないしその上取り掛かるということはない fact2: あのトゥデーはＴＥＸ四ＨＴである
$facts$ = fact1: もしもあのトゥデーはＴＥＸ四ＨＴであるとするとそれは十大費目でないしその上取り掛かるということはない fact2: あのトゥデーはＴＥＸ四ＨＴである ; $hypothesis$ = 「あのトゥデーは十大費目でなくておまけに取り掛からない」ということは成り立たない ; $proof$ = 
事実1: もしもあのトゥデーはＴＥＸ四ＨＴであるとするとそれは十大費目でないしその上取り掛かるということはない
事実2: あのトゥデーはＴＥＸ四ＨＴである

仮説: 「あのトゥデーは十大費目でなくておまけに取り掛からない」ということは成り立たない