あの杼は興醒めする
fact1: 「もしも「あの充電状態は一億二千五百万人でない」ということは間違っているということはないならばあの論理実証主義は基礎訓練だ」ということは誤りでない fact2: あの充電状態は一億二千五百万人でないか馬鹿でかいということはないかあるいは両方ともだ fact3: もし仮にあの充電状態が馬鹿でかくないならその論理実証主義は基礎訓練だ fact4: もしその論理実証主義が相分からないならあの杼は興醒めしない一方で二分一以下だ fact5: もし仮に「その論理実証主義は基礎訓練であるかもしくは旨いかあるいはどちらもだ」ということは誤りでないならば「それは相分かるということはない」ということは正しい
fact2 & fact1 & fact3 -> int1: その論理実証主義は基礎訓練だ; int1 -> int2: その論理実証主義は基礎訓練であるかもしくは旨いかあるいは両方ともだ; int2 & fact5 -> int3: その論理実証主義は相分かるということはない; int3 & fact4 -> int4: あの杼は興醒めするということはない一方で二分一以下である; int4 -> hypothesis;
$facts$ = fact1: 「もしも「あの充電状態は一億二千五百万人でない」ということは間違っているということはないならばあの論理実証主義は基礎訓練だ」ということは誤りでない fact2: あの充電状態は一億二千五百万人でないか馬鹿でかいということはないかあるいは両方ともだ fact3: もし仮にあの充電状態が馬鹿でかくないならその論理実証主義は基礎訓練だ fact4: もしその論理実証主義が相分からないならあの杼は興醒めしない一方で二分一以下だ fact5: もし仮に「その論理実証主義は基礎訓練であるかもしくは旨いかあるいはどちらもだ」ということは誤りでないならば「それは相分かるということはない」ということは正しい ; $hypothesis$ = あの杼は興醒めする ; $proof$ = 
fact2 & fact1 & fact3 -> int1: その論理実証主義は基礎訓練だ; int1 -> int2: その論理実証主義は基礎訓練であるかもしくは旨いかあるいは両方ともだ; int2 & fact5 -> int3: その論理実証主義は相分かるということはない; int3 & fact4 -> int4: あの杼は興醒めするということはない一方で二分一以下である; int4 -> hypothesis; __DISPROVED__
事実1: 「もしも「あの充電状態は一億二千五百万人でない」ということは間違っているということはないならばあの論理実証主義は基礎訓練だ」ということは誤りでない
事実2: あの充電状態は一億二千五百万人でないか馬鹿でかいということはないかあるいは両方ともだ
事実3: もし仮にあの充電状態が馬鹿でかくないならその論理実証主義は基礎訓練だ
事実4: もしその論理実証主義が相分からないならあの杼は興醒めしない一方で二分一以下だ
事実5: もし仮に「その論理実証主義は基礎訓練であるかもしくは旨いかあるいはどちらもだ」ということは誤りでないならば「それは相分かるということはない」ということは正しい

仮説: あの杼は興醒めする
1. 事実2と事実1と事実3から、推論1: "その論理実証主義は基礎訓練だ"が導かれる
2. 推論1から、推論2: "その論理実証主義は基礎訓練であるかもしくは旨いかあるいは両方ともだ"が導かれる
3. 推論2と事実5から、推論3: "その論理実証主義は相分かるということはない"が導かれる
4. 推論3と事実4から、推論4: "あの杼は興醒めするということはない一方で二分一以下である"が導かれる
5. 推論4から、仮説が否定される

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