あの相互間は使い難くないし流れ易くない
fact1: もし「その皮膚面は使い難いということはない」ということは本当であるなら「あの相互間は使い難くなくて流れ易くない」ということは事実と異なる fact2: もし仮に「あの神供は脂質代謝異常だということはない」ということは成り立つとすると「それは第六表であるかあるいはサブスクライブする」ということは誤りである fact3: 「あの神供はハイジャックでないけれどそれは使い難い」ということは間違っている fact4: もし「あの相互間は流れ易いかもしくはフォームヘッダーであるかまたは両方ともだ」ということは間違いだとするとあの神供は使い難くない fact5: あの神供は得難ししそれはハイジャックだ fact6: もしあの相互間がサブスクライブしないならそれは使い難くない fact7: もし仮に「「あの神供は第六表であるかそれはサブスクライブするかあるいはどちらもである」ということは成り立たない」ということは確かであるとしたらその皮膚面は使い難くない fact8: もしあの神供は脂質代謝異常だしハイジャックだとすれば「それはフォームヘッダーでない」ということは本当である fact9: あの神供はフォームヘッダーだ
fact5 -> int1: あの神供はハイジャックである; void -> assump1: 以下のように仮定する。あの神供は脂質代謝異常だ; int1 & assump1 -> int2: あの神供は脂質代謝異常であるしそれはハイジャックだ; int2 & fact8 -> int3: あの神供はフォームヘッダーでない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの神供は脂質代謝異常でない; int5 & fact2 -> int6: 「あの神供は第六表であるかあるいはサブスクライブするかどちらもだ」ということは成り立たない; int6 & fact7 -> int7: その皮膚面は使い難いということはない; int7 & fact1 -> hypothesis;
$facts$ = fact1: もし「その皮膚面は使い難いということはない」ということは本当であるなら「あの相互間は使い難くなくて流れ易くない」ということは事実と異なる fact2: もし仮に「あの神供は脂質代謝異常だということはない」ということは成り立つとすると「それは第六表であるかあるいはサブスクライブする」ということは誤りである fact3: 「あの神供はハイジャックでないけれどそれは使い難い」ということは間違っている fact4: もし「あの相互間は流れ易いかもしくはフォームヘッダーであるかまたは両方ともだ」ということは間違いだとするとあの神供は使い難くない fact5: あの神供は得難ししそれはハイジャックだ fact6: もしあの相互間がサブスクライブしないならそれは使い難くない fact7: もし仮に「「あの神供は第六表であるかそれはサブスクライブするかあるいはどちらもである」ということは成り立たない」ということは確かであるとしたらその皮膚面は使い難くない fact8: もしあの神供は脂質代謝異常だしハイジャックだとすれば「それはフォームヘッダーでない」ということは本当である fact9: あの神供はフォームヘッダーだ ; $hypothesis$ = あの相互間は使い難くないし流れ易くない ; $proof$ = 
fact5 -> int1: あの神供はハイジャックである; void -> assump1: 以下のように仮定する。あの神供は脂質代謝異常だ; int1 & assump1 -> int2: あの神供は脂質代謝異常であるしそれはハイジャックだ; int2 & fact8 -> int3: あの神供はフォームヘッダーでない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの神供は脂質代謝異常でない; int5 & fact2 -> int6: 「あの神供は第六表であるかあるいはサブスクライブするかどちらもだ」ということは成り立たない; int6 & fact7 -> int7: その皮膚面は使い難いということはない; int7 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「その皮膚面は使い難いということはない」ということは本当であるなら「あの相互間は使い難くなくて流れ易くない」ということは事実と異なる
事実2: もし仮に「あの神供は脂質代謝異常だということはない」ということは成り立つとすると「それは第六表であるかあるいはサブスクライブする」ということは誤りである
事実3: 「あの神供はハイジャックでないけれどそれは使い難い」ということは間違っている
事実4: もし「あの相互間は流れ易いかもしくはフォームヘッダーであるかまたは両方ともだ」ということは間違いだとするとあの神供は使い難くない
事実5: あの神供は得難ししそれはハイジャックだ
事実6: もしあの相互間がサブスクライブしないならそれは使い難くない
事実7: もし仮に「「あの神供は第六表であるかそれはサブスクライブするかあるいはどちらもである」ということは成り立たない」ということは確かであるとしたらその皮膚面は使い難くない
事実8: もしあの神供は脂質代謝異常だしハイジャックだとすれば「それはフォームヘッダーでない」ということは本当である
事実9: あの神供はフォームヘッダーだ

仮説: あの相互間は使い難くないし流れ易くない
1. 事実5から、推論1: "あの神供はハイジャックである"が導かれる
2. 仮定1: 以下のように仮定する。あの神供は脂質代謝異常だ
3. 推論1と仮定1から、推論2: "あの神供は脂質代謝異常であるしそれはハイジャックだ"が導かれる
4. 推論2と事実8から、推論3: "あの神供はフォームヘッダーでない"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの神供は脂質代謝異常でない"が導かれる
7. 推論5と事実2から、推論6: "「あの神供は第六表であるかあるいはサブスクライブするかどちらもだ」ということは成り立たない"が導かれる
8. 推論6と事実7から、推論7: "その皮膚面は使い難いということはない"が導かれる
9. 推論7と事実1から、仮説が否定される

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