「あの仰角は行い易い」ということは事実だ
fact1: 仮に「あの仰角は絞り方でない」ということは嘘だということはないとしたらそれは請求債権である fact2: 要介護状態区分は行い易い fact3: もし「何らかの物は請求債権だ一方で絞り方でない」ということは成り立たないとしたらそれは行い易いない fact4: あの仰角は絞り方であるということはない fact5: 請求債権は要介護状態区分だ
fact1 & fact4 -> int1: あの仰角は請求債権だ; fact5 -> int2: あの仰角は請求債権であるならそれは要介護状態区分である; int1 & int2 -> int3: あの仰角は要介護状態区分である; fact2 -> int4: 「あの仰角が要介護状態区分だとすればあの仰角は行い易い」ということは事実と異ならない; int3 & int4 -> hypothesis;
あの仰角は行い易くない
fact6 -> int5: 「あの仰角は請求債権だけど絞り方でない」ということは間違っているとするとそれは行い易いということはない;
$facts$ = fact1: 仮に「あの仰角は絞り方でない」ということは嘘だということはないとしたらそれは請求債権である fact2: 要介護状態区分は行い易い fact3: もし「何らかの物は請求債権だ一方で絞り方でない」ということは成り立たないとしたらそれは行い易いない fact4: あの仰角は絞り方であるということはない fact5: 請求債権は要介護状態区分だ ; $hypothesis$ = 「あの仰角は行い易い」ということは事実だ ; $proof$ = 
fact1 & fact4 -> int1: あの仰角は請求債権だ; fact5 -> int2: あの仰角は請求債権であるならそれは要介護状態区分である; int1 & int2 -> int3: あの仰角は要介護状態区分である; fact2 -> int4: 「あの仰角が要介護状態区分だとすればあの仰角は行い易い」ということは事実と異ならない; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮に「あの仰角は絞り方でない」ということは嘘だということはないとしたらそれは請求債権である
事実2: 要介護状態区分は行い易い
事実3: もし「何らかの物は請求債権だ一方で絞り方でない」ということは成り立たないとしたらそれは行い易いない
事実4: あの仰角は絞り方であるということはない
事実5: 請求債権は要介護状態区分だ

仮説: 「あの仰角は行い易い」ということは事実だ
1. 事実1と事実4から、推論1: "あの仰角は請求債権だ"が導かれる
2. 事実5から、推論2: "あの仰角は請求債権であるならそれは要介護状態区分である"が導かれる
3. 推論1と推論2から、推論3: "あの仰角は要介護状態区分である"が導かれる
4. 事実2から、推論4: "「あの仰角が要介護状態区分だとすればあの仰角は行い易い」ということは事実と異ならない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。