この分かれ道は滑り易くなくてその上取っ付き易くない
fact1: 仮に「その商事は浅ましいか伝導バンドでない」ということは間違っているということはないとすればあの葬祭は取っ付き易くない fact2: もし「「療養する」ということは成り立つ」物があるとするとこの野草は切れ易い fact3: もしもその葬祭は取っ付き易くないとすると「この分かれ道は滑り易い一方で取っ付き易いということはない」ということは間違いだ fact4: もしその葬祭は取っ付き易くないなら「この分かれ道は滑り易くなくてしかも取っ付き易くない」ということは成り立たない fact5: 仮にその居室が緊張するかもしくはそれが燃え付くかあるいはどちらもであるとするとこのＶＳベガは伝導バンドでない fact6: なんらかのものは療養する fact7: もしもこの野草が切れ易いならばその居室は緊張する fact8: このＶＳベガが伝導バンドだということはないならその商事は浅ましいかまたは伝導バンドであるということはない fact9: もしもこのＶＳベガが伝導バンドでないならその商事は浅ましいかもしくはそれは伝導バンドであるか両方ともだ fact10: 仮になにがしかの物が療養すれば滑り易くなくて取っ付き易くない fact11: その商事は浅ましいかもしくはそれは伝導バンドであるかもしくは両方ともである
fact6 & fact2 -> int1: この野草は切れ易い; int1 & fact7 -> int2: その居室は緊張する; int2 -> int3: その居室は緊張するかあるいはそれは燃え付くか両方ともだ; int3 & fact5 -> int4: このＶＳベガは伝導バンドでない; int4 & fact8 -> int5: その商事は浅ましいかまたは伝導バンドでない; int5 & fact1 -> int6: その葬祭は取っ付き易くない; int6 & fact4 -> hypothesis;
この分かれ道は滑り易くないしそれに取っ付き易くない
fact12 -> int7: 「この分かれ道は療養する」ということは事実と異ならないとすればそれは滑り易くないし取っ付き易くない;
$facts$ = fact1: 仮に「その商事は浅ましいか伝導バンドでない」ということは間違っているということはないとすればあの葬祭は取っ付き易くない fact2: もし「「療養する」ということは成り立つ」物があるとするとこの野草は切れ易い fact3: もしもその葬祭は取っ付き易くないとすると「この分かれ道は滑り易い一方で取っ付き易いということはない」ということは間違いだ fact4: もしその葬祭は取っ付き易くないなら「この分かれ道は滑り易くなくてしかも取っ付き易くない」ということは成り立たない fact5: 仮にその居室が緊張するかもしくはそれが燃え付くかあるいはどちらもであるとするとこのＶＳベガは伝導バンドでない fact6: なんらかのものは療養する fact7: もしもこの野草が切れ易いならばその居室は緊張する fact8: このＶＳベガが伝導バンドだということはないならその商事は浅ましいかまたは伝導バンドであるということはない fact9: もしもこのＶＳベガが伝導バンドでないならその商事は浅ましいかもしくはそれは伝導バンドであるか両方ともだ fact10: 仮になにがしかの物が療養すれば滑り易くなくて取っ付き易くない fact11: その商事は浅ましいかもしくはそれは伝導バンドであるかもしくは両方ともである ; $hypothesis$ = この分かれ道は滑り易くなくてその上取っ付き易くない ; $proof$ = 
fact6 & fact2 -> int1: この野草は切れ易い; int1 & fact7 -> int2: その居室は緊張する; int2 -> int3: その居室は緊張するかあるいはそれは燃え付くか両方ともだ; int3 & fact5 -> int4: このＶＳベガは伝導バンドでない; int4 & fact8 -> int5: その商事は浅ましいかまたは伝導バンドでない; int5 & fact1 -> int6: その葬祭は取っ付き易くない; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮に「その商事は浅ましいか伝導バンドでない」ということは間違っているということはないとすればあの葬祭は取っ付き易くない
事実2: もし「「療養する」ということは成り立つ」物があるとするとこの野草は切れ易い
事実3: もしもその葬祭は取っ付き易くないとすると「この分かれ道は滑り易い一方で取っ付き易いということはない」ということは間違いだ
事実4: もしその葬祭は取っ付き易くないなら「この分かれ道は滑り易くなくてしかも取っ付き易くない」ということは成り立たない
事実5: 仮にその居室が緊張するかもしくはそれが燃え付くかあるいはどちらもであるとするとこのＶＳベガは伝導バンドでない
事実6: なんらかのものは療養する
事実7: もしもこの野草が切れ易いならばその居室は緊張する
事実8: このＶＳベガが伝導バンドだということはないならその商事は浅ましいかまたは伝導バンドであるということはない
事実9: もしもこのＶＳベガが伝導バンドでないならその商事は浅ましいかもしくはそれは伝導バンドであるか両方ともだ
事実10: 仮になにがしかの物が療養すれば滑り易くなくて取っ付き易くない
事実11: その商事は浅ましいかもしくはそれは伝導バンドであるかもしくは両方ともである

仮説: この分かれ道は滑り易くなくてその上取っ付き易くない
1. 事実6と事実2から、推論1: "この野草は切れ易い"が導かれる
2. 推論1と事実7から、推論2: "その居室は緊張する"が導かれる
3. 推論2から、推論3: "その居室は緊張するかあるいはそれは燃え付くか両方ともだ"が導かれる
4. 推論3と事実5から、推論4: "このＶＳベガは伝導バンドでない"が導かれる
5. 推論4と事実8から、推論5: "その商事は浅ましいかまたは伝導バンドでない"が導かれる
6. 推論5と事実1から、推論6: "その葬祭は取っ付き易くない"が導かれる
7. 推論6と事実4から、仮説が否定される

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