「この最適化行動は恐れ多くないか知行国であるかあるいはどちらもだ」ということは成り立たない
fact1: もしこの最適化行動が恐れ多くないとしたらこの算術は知行国である fact2: もしもこの最適化行動は活動し難くない一方で使用許諾契約書だとすれば知行国だ fact3: この最適化行動は活動し難いということはないけど使用許諾契約書だ
fact2 & fact3 -> int1: この最適化行動は知行国だ; int1 -> hypothesis;
「この算術は知行国である」ということは真実だ
$facts$ = fact1: もしこの最適化行動が恐れ多くないとしたらこの算術は知行国である fact2: もしもこの最適化行動は活動し難くない一方で使用許諾契約書だとすれば知行国だ fact3: この最適化行動は活動し難いということはないけど使用許諾契約書だ ; $hypothesis$ = 「この最適化行動は恐れ多くないか知行国であるかあるいはどちらもだ」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> int1: この最適化行動は知行国だ; int1 -> hypothesis; __DISPROVED__
事実1: もしこの最適化行動が恐れ多くないとしたらこの算術は知行国である
事実2: もしもこの最適化行動は活動し難くない一方で使用許諾契約書だとすれば知行国だ
事実3: この最適化行動は活動し難いということはないけど使用許諾契約書だ

仮説: 「この最適化行動は恐れ多くないか知行国であるかあるいはどちらもだ」ということは成り立たない
1. 事実2と事実3から、推論1: "この最適化行動は知行国だ"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。