その礼儀有りはインスタンス変数でない
fact1: もしその攻略情報は厳くないとすると「そのベルムナント伯は厳くないがジョリー達だ」ということは成り立たない fact2: もしこの患趾がレセプトでないかあるいは要求し始めないとするとそのベルムナント伯はジョリー達だ fact3: このショルダーは要す fact4: 仮に「「その長期透水試験は要求し始めるということはなくておまけに要さない」ということは成り立つ」ということは真実でないならその攻略情報は厳くない fact5: その礼儀有りは無意識的精神性だ fact6: この患趾が全都市指数でないかまたはそれがレセプトでないとすればあのショルダーは無意識的精神性だ fact7: 無意識的精神性は判別し易い fact8: この患趾は全都市指数であるということはないかまたはレセプトでないかもしくは両方ともである fact9: もし仮にこのショルダーは要求し始めないならば「「その長期透水試験が要求し始めるということはないしその上それは要さない」ということは偽である」ということは正しい fact10: 「このショルダーは要さないし尖閣列島でない」ということは成り立たないならその長期透水試験は要求し始めるということはない fact11: 仮に何らかのものが判別し易いかあるいはそれは尖閣列島であるか両方ともならばそれは要求し始めない fact12: もしその長期透水試験が要求し始めるならその攻略情報は厳くない fact13: もし仮にそのベルムナント伯は全都市指数であるということはないとすると「この患趾は全都市指数だということはないしさらにジョリー達でない」ということは成り立たない fact14: 仮に「「そのベルムナント伯は厳くない一方でそれはジョリー達だ」ということは成り立たない」ということは成り立つとすればその礼儀有りはインスタンス変数である
fact6 & fact8 -> int1: このショルダーは無意識的精神性である; fact7 -> int2: このショルダーが無意識的精神性だとするとそれは判別し易い; int1 & int2 -> int3: このショルダーは判別し易い; int3 -> int4: このショルダーは判別し易いか尖閣列島だ; fact11 -> int5: 仮にこのショルダーが判別し易いかもしくは尖閣列島であるならば「それは要求し始めるということはない」ということは嘘でない; int4 & int5 -> int6: このショルダーは要求し始めない; int6 & fact9 -> int7: 「その長期透水試験は要求し始めないしおまけに要さない」ということは誤っている; int7 & fact4 -> int8: その攻略情報は厳くない; int8 & fact1 -> int9: 「そのベルムナント伯は厳いということはないけどジョリー達である」ということは成り立たない; int9 & fact14 -> hypothesis;
$facts$ = fact1: もしその攻略情報は厳くないとすると「そのベルムナント伯は厳くないがジョリー達だ」ということは成り立たない fact2: もしこの患趾がレセプトでないかあるいは要求し始めないとするとそのベルムナント伯はジョリー達だ fact3: このショルダーは要す fact4: 仮に「「その長期透水試験は要求し始めるということはなくておまけに要さない」ということは成り立つ」ということは真実でないならその攻略情報は厳くない fact5: その礼儀有りは無意識的精神性だ fact6: この患趾が全都市指数でないかまたはそれがレセプトでないとすればあのショルダーは無意識的精神性だ fact7: 無意識的精神性は判別し易い fact8: この患趾は全都市指数であるということはないかまたはレセプトでないかもしくは両方ともである fact9: もし仮にこのショルダーは要求し始めないならば「「その長期透水試験が要求し始めるということはないしその上それは要さない」ということは偽である」ということは正しい fact10: 「このショルダーは要さないし尖閣列島でない」ということは成り立たないならその長期透水試験は要求し始めるということはない fact11: 仮に何らかのものが判別し易いかあるいはそれは尖閣列島であるか両方ともならばそれは要求し始めない fact12: もしその長期透水試験が要求し始めるならその攻略情報は厳くない fact13: もし仮にそのベルムナント伯は全都市指数であるということはないとすると「この患趾は全都市指数だということはないしさらにジョリー達でない」ということは成り立たない fact14: 仮に「「そのベルムナント伯は厳くない一方でそれはジョリー達だ」ということは成り立たない」ということは成り立つとすればその礼儀有りはインスタンス変数である ; $hypothesis$ = その礼儀有りはインスタンス変数でない ; $proof$ = 
fact6 & fact8 -> int1: このショルダーは無意識的精神性である; fact7 -> int2: このショルダーが無意識的精神性だとするとそれは判別し易い; int1 & int2 -> int3: このショルダーは判別し易い; int3 -> int4: このショルダーは判別し易いか尖閣列島だ; fact11 -> int5: 仮にこのショルダーが判別し易いかもしくは尖閣列島であるならば「それは要求し始めるということはない」ということは嘘でない; int4 & int5 -> int6: このショルダーは要求し始めない; int6 & fact9 -> int7: 「その長期透水試験は要求し始めないしおまけに要さない」ということは誤っている; int7 & fact4 -> int8: その攻略情報は厳くない; int8 & fact1 -> int9: 「そのベルムナント伯は厳いということはないけどジョリー達である」ということは成り立たない; int9 & fact14 -> hypothesis; __DISPROVED__
事実1: もしその攻略情報は厳くないとすると「そのベルムナント伯は厳くないがジョリー達だ」ということは成り立たない
事実2: もしこの患趾がレセプトでないかあるいは要求し始めないとするとそのベルムナント伯はジョリー達だ
事実3: このショルダーは要す
事実4: 仮に「「その長期透水試験は要求し始めるということはなくておまけに要さない」ということは成り立つ」ということは真実でないならその攻略情報は厳くない
事実5: その礼儀有りは無意識的精神性だ
事実6: この患趾が全都市指数でないかまたはそれがレセプトでないとすればあのショルダーは無意識的精神性だ
事実7: 無意識的精神性は判別し易い
事実8: この患趾は全都市指数であるということはないかまたはレセプトでないかもしくは両方ともである
事実9: もし仮にこのショルダーは要求し始めないならば「「その長期透水試験が要求し始めるということはないしその上それは要さない」ということは偽である」ということは正しい
事実10: 「このショルダーは要さないし尖閣列島でない」ということは成り立たないならその長期透水試験は要求し始めるということはない
事実11: 仮に何らかのものが判別し易いかあるいはそれは尖閣列島であるか両方ともならばそれは要求し始めない
事実12: もしその長期透水試験が要求し始めるならその攻略情報は厳くない
事実13: もし仮にそのベルムナント伯は全都市指数であるということはないとすると「この患趾は全都市指数だということはないしさらにジョリー達でない」ということは成り立たない
事実14: 仮に「「そのベルムナント伯は厳くない一方でそれはジョリー達だ」ということは成り立たない」ということは成り立つとすればその礼儀有りはインスタンス変数である

仮説: その礼儀有りはインスタンス変数でない
1. 事実6と事実8から、推論1: "このショルダーは無意識的精神性である"が導かれる
2. 事実7から、推論2: "このショルダーが無意識的精神性だとするとそれは判別し易い"が導かれる
3. 推論1と推論2から、推論3: "このショルダーは判別し易い"が導かれる
4. 推論3から、推論4: "このショルダーは判別し易いか尖閣列島だ"が導かれる
5. 事実11から、推論5: "仮にこのショルダーが判別し易いかもしくは尖閣列島であるならば「それは要求し始めるということはない」ということは嘘でない"が導かれる
6. 推論4と推論5から、推論6: "このショルダーは要求し始めない"が導かれる
7. 推論6と事実9から、推論7: "「その長期透水試験は要求し始めないしおまけに要さない」ということは誤っている"が導かれる
8. 推論7と事実4から、推論8: "その攻略情報は厳くない"が導かれる
9. 推論8と事実1から、推論9: "「そのベルムナント伯は厳いということはないけどジョリー達である」ということは成り立たない"が導かれる
10. 推論9と事実14から、仮説が否定される

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