「「もし仮に心地良さであるかあるいは筋立てでないかあるいはどちらもであるとすれば使い辛くない」物はある」ということは誤りである
fact1: もしもその八型はヨーロッパ各地であるかあるいは筋立てでないかまたは両方であるならばそれは百七十五線だ fact2: もし仮にその八型が心地良さであるかあるいはそれは筋立てであるかあるいは両方ならそれは使い辛くない fact3: もしある物がＲＳＡモジュールであるかあるいは筋立てでないか両方であるとすると「それは理解し辛くない」ということは成り立つ fact4: もしその八型が心地良さであるかもしくは筋立てでないかもしくは両方であるとすると使い辛くない
fact4 -> hypothesis;
もし仮にその八型がＲＳＡモジュールであるかもしくはそれは筋立てでないかどちらもであるなら理解し辛いということはない
fact5 -> hypothesis;
$facts$ = fact1: もしもその八型はヨーロッパ各地であるかあるいは筋立てでないかまたは両方であるならばそれは百七十五線だ fact2: もし仮にその八型が心地良さであるかあるいはそれは筋立てであるかあるいは両方ならそれは使い辛くない fact3: もしある物がＲＳＡモジュールであるかあるいは筋立てでないか両方であるとすると「それは理解し辛くない」ということは成り立つ fact4: もしその八型が心地良さであるかもしくは筋立てでないかもしくは両方であるとすると使い辛くない ; $hypothesis$ = 「「もし仮に心地良さであるかあるいは筋立てでないかあるいはどちらもであるとすれば使い辛くない」物はある」ということは誤りである ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もしもその八型はヨーロッパ各地であるかあるいは筋立てでないかまたは両方であるならばそれは百七十五線だ
事実2: もし仮にその八型が心地良さであるかあるいはそれは筋立てであるかあるいは両方ならそれは使い辛くない
事実3: もしある物がＲＳＡモジュールであるかあるいは筋立てでないか両方であるとすると「それは理解し辛くない」ということは成り立つ
事実4: もしその八型が心地良さであるかもしくは筋立てでないかもしくは両方であるとすると使い辛くない

仮説: 「「もし仮に心地良さであるかあるいは筋立てでないかあるいはどちらもであるとすれば使い辛くない」物はある」ということは誤りである
1. 事実4から、仮説が否定される

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