その送別会は予測し難い
fact1: その送別会は御電話するなら「評価点だということはない」ということは事実だ fact2: この癌化学療法は御電話しないしかつ評価点でない fact3: あの甲乙間は自覚すらないがしかし限り無い fact4: もし仮にある物が御電話するとすればそれは評価点だということはない fact5: 仮になんらかの物が送達するとしたらそれは使用し難くない fact6: その送別会は過不足無くない fact7: もしその送別会は評価点でないがしかし予測し難いとすればそれは過不足無い fact8: もしも「なにがしかの物は入れ易くない」ということは本当であるとすればそれは予測し難いかあるいはそれは自覚す fact9: 仮に何らかのものは御電話しないならば「この精神現象学は入れ易いし御電話する」ということは間違っている fact10: なにがしかの物が入れ易いかあるいは御電話するかもしくは両方ともであるとすると「評価点だということはない」ということは確かだ fact11: その送別会は自覚す fact12: この懐中時計は御電話するということはない fact13: その送別会は遅刻者であるしまたそれは時事問題である fact14: その送別会は入れ易いしその上自覚す
fact14 -> int1: その送別会は入れ易い; int1 -> int2: その送別会は入れ易いかまたはそれは御電話するかもしくは両方ともである; fact10 -> int3: もしもその送別会が入れ易いかもしくは御電話するとすれば評価点であるということはない; int2 & int3 -> int4: 「その送別会は評価点だということはない」ということは成り立つ; void -> assump1: 以下のように仮定する。その送別会は予測し難い; int4 & assump1 -> int5: その送別会は評価点でない一方で予測し難い; int5 & fact7 -> int6: 「その送別会は過不足無い」ということは成り立つ; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その送別会は予測し難い
fact16 -> int8: もし仮にこの精神現象学が入れ易くないならそれは予測し難いかもしくはそれは自覚す; fact15 -> int9: この癌化学療法は御電話しない; int9 -> int10: なにがしかのものは御電話しない; int10 & fact17 -> int11: 「この精神現象学は入れ易くて加えて御電話する」ということは成り立たない;
$facts$ = fact1: その送別会は御電話するなら「評価点だということはない」ということは事実だ fact2: この癌化学療法は御電話しないしかつ評価点でない fact3: あの甲乙間は自覚すらないがしかし限り無い fact4: もし仮にある物が御電話するとすればそれは評価点だということはない fact5: 仮になんらかの物が送達するとしたらそれは使用し難くない fact6: その送別会は過不足無くない fact7: もしその送別会は評価点でないがしかし予測し難いとすればそれは過不足無い fact8: もしも「なにがしかの物は入れ易くない」ということは本当であるとすればそれは予測し難いかあるいはそれは自覚す fact9: 仮に何らかのものは御電話しないならば「この精神現象学は入れ易いし御電話する」ということは間違っている fact10: なにがしかの物が入れ易いかあるいは御電話するかもしくは両方ともであるとすると「評価点だということはない」ということは確かだ fact11: その送別会は自覚す fact12: この懐中時計は御電話するということはない fact13: その送別会は遅刻者であるしまたそれは時事問題である fact14: その送別会は入れ易いしその上自覚す ; $hypothesis$ = その送別会は予測し難い ; $proof$ = 
fact14 -> int1: その送別会は入れ易い; int1 -> int2: その送別会は入れ易いかまたはそれは御電話するかもしくは両方ともである; fact10 -> int3: もしもその送別会が入れ易いかもしくは御電話するとすれば評価点であるということはない; int2 & int3 -> int4: 「その送別会は評価点だということはない」ということは成り立つ; void -> assump1: 以下のように仮定する。その送別会は予測し難い; int4 & assump1 -> int5: その送別会は評価点でない一方で予測し難い; int5 & fact7 -> int6: 「その送別会は過不足無い」ということは成り立つ; int6 & fact6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: その送別会は御電話するなら「評価点だということはない」ということは事実だ
事実2: この癌化学療法は御電話しないしかつ評価点でない
事実3: あの甲乙間は自覚すらないがしかし限り無い
事実4: もし仮にある物が御電話するとすればそれは評価点だということはない
事実5: 仮になんらかの物が送達するとしたらそれは使用し難くない
事実6: その送別会は過不足無くない
事実7: もしその送別会は評価点でないがしかし予測し難いとすればそれは過不足無い
事実8: もしも「なにがしかの物は入れ易くない」ということは本当であるとすればそれは予測し難いかあるいはそれは自覚す
事実9: 仮に何らかのものは御電話しないならば「この精神現象学は入れ易いし御電話する」ということは間違っている
事実10: なにがしかの物が入れ易いかあるいは御電話するかもしくは両方ともであるとすると「評価点だということはない」ということは確かだ
事実11: その送別会は自覚す
事実12: この懐中時計は御電話するということはない
事実13: その送別会は遅刻者であるしまたそれは時事問題である
事実14: その送別会は入れ易いしその上自覚す

仮説: その送別会は予測し難い
1. 事実14から、推論1: "その送別会は入れ易い"が導かれる
2. 推論1から、推論2: "その送別会は入れ易いかまたはそれは御電話するかもしくは両方ともである"が導かれる
3. 事実10から、推論3: "もしもその送別会が入れ易いかもしくは御電話するとすれば評価点であるということはない"が導かれる
4. 推論2と推論3から、推論4: "「その送別会は評価点だということはない」ということは成り立つ"が導かれる
5. 仮定1: 以下のように仮定する。その送別会は予測し難い
6. 推論4と仮定1から、推論5: "その送別会は評価点でない一方で予測し難い"が導かれる
7. 推論5と事実7から、推論6: "「その送別会は過不足無い」ということは成り立つ"が導かれる
8. 推論6と事実6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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