この大系は書き記さないかあるいは感じするということはないかもしくは両方だ
fact1: もしも「何らかの物は年休だということはないがしかし屏風だ」ということは間違いだとすると感じするということはない fact2: もしもその兄弟子達は節約しないならば「「あの最先端技術は年休でないが屏風だ」ということは確かである」ということは成り立たない fact3: その兄弟子達は狭い fact4: もしもあるものが取り扱い易いかあるいはそれは狭いか両方ともであるとしたらそれは節約するということはない fact5: あの最先端技術は感じしないとすれば「この大系は書き記さないか感じしないか両方だ」ということは確かでない
fact3 -> int1: その兄弟子達は取り扱い易いか狭いか両方である; fact4 -> int2: 「その兄弟子達は取り扱い易いかそれは狭いかもしくは両方ともである」ということは事実ならそれは節約しない; int1 & int2 -> int3: その兄弟子達は節約しない; int3 & fact2 -> int4: 「あの最先端技術は年休でないけど屏風である」ということは誤りである; fact1 -> int5: 仮に「あの最先端技術は年休だということはないが屏風である」ということは間違いだとするとそれは感じしない; int4 & int5 -> int6: あの最先端技術は感じするということはない; int6 & fact5 -> hypothesis;
$facts$ = fact1: もしも「何らかの物は年休だということはないがしかし屏風だ」ということは間違いだとすると感じするということはない fact2: もしもその兄弟子達は節約しないならば「「あの最先端技術は年休でないが屏風だ」ということは確かである」ということは成り立たない fact3: その兄弟子達は狭い fact4: もしもあるものが取り扱い易いかあるいはそれは狭いか両方ともであるとしたらそれは節約するということはない fact5: あの最先端技術は感じしないとすれば「この大系は書き記さないか感じしないか両方だ」ということは確かでない ; $hypothesis$ = この大系は書き記さないかあるいは感じするということはないかもしくは両方だ ; $proof$ = 
fact3 -> int1: その兄弟子達は取り扱い易いか狭いか両方である; fact4 -> int2: 「その兄弟子達は取り扱い易いかそれは狭いかもしくは両方ともである」ということは事実ならそれは節約しない; int1 & int2 -> int3: その兄弟子達は節約しない; int3 & fact2 -> int4: 「あの最先端技術は年休でないけど屏風である」ということは誤りである; fact1 -> int5: 仮に「あの最先端技術は年休だということはないが屏風である」ということは間違いだとするとそれは感じしない; int4 & int5 -> int6: あの最先端技術は感じするということはない; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしも「何らかの物は年休だということはないがしかし屏風だ」ということは間違いだとすると感じするということはない
事実2: もしもその兄弟子達は節約しないならば「「あの最先端技術は年休でないが屏風だ」ということは確かである」ということは成り立たない
事実3: その兄弟子達は狭い
事実4: もしもあるものが取り扱い易いかあるいはそれは狭いか両方ともであるとしたらそれは節約するということはない
事実5: あの最先端技術は感じしないとすれば「この大系は書き記さないか感じしないか両方だ」ということは確かでない

仮説: この大系は書き記さないかあるいは感じするということはないかもしくは両方だ
1. 事実3から、推論1: "その兄弟子達は取り扱い易いか狭いか両方である"が導かれる
2. 事実4から、推論2: "「その兄弟子達は取り扱い易いかそれは狭いかもしくは両方ともである」ということは事実ならそれは節約しない"が導かれる
3. 推論1と推論2から、推論3: "その兄弟子達は節約しない"が導かれる
4. 推論3と事実2から、推論4: "「あの最先端技術は年休でないけど屏風である」ということは誤りである"が導かれる
5. 事実1から、推論5: "仮に「あの最先端技術は年休だということはないが屏風である」ということは間違いだとするとそれは感じしない"が導かれる
6. 推論4と推論5から、推論6: "あの最先端技術は感じするということはない"が導かれる
7. 推論6と事実5から、仮説が否定される

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