この社会的階層は身軽くない
fact1: この第一回大会は行司であるがリースでない fact2: もし仮に痛ーくないものが囁き交わすということはないとするとそれは教示しない fact3: もし仮にある物が達観するとしたらその当該受給者は身軽い fact4: この第一回大会が行司である一方でリースだということはないならばあの当該受給者は締めっぽい fact5: その当該受給者は流され易い fact6: もしこの社会的階層が痛ーいとすればあの当該受給者は身軽くないけれど教示する fact7: もし仮に「果せる」ものはあるとすると「この社会的階層は身軽い」ということは成り立つ fact8: 「その当該受給者は据える」ということは成り立つ fact9: なんらかのものは身軽い fact10: もし「その当該受給者は身軽いということはない」ということは間違っていないならばあの全農家は達観するしかつ果せる fact11: その当該受給者は達観するしそれにそれは果せる fact12: その当該受給者は達観する fact13: 仮に「身軽い」物があればこの社会的階層は達観する fact14: なにがしかの物は教示しないとすると「それは果せらないかあるいは達観するということはないかあるいはどちらもである」ということは誤っている fact15: その当該受給者は身軽くてかつそれは化ける
fact11 -> int1: 「その当該受給者は果せる」ということは成り立つ; int1 -> int2: 「果せる」ものはある; int2 & fact7 -> hypothesis;
fact11 -> int1: {B}{a}; int1 -> int2: (Ex): {B}x; int2 & fact7 -> hypothesis;
この社会的階層は身軽いということはない
fact19 -> int3: 「この社会的階層は教示しない」ということは成り立てば「それは果せるということはないか達観するということはないかあるいは両方である」ということは間違いだ; fact17 -> int4: もし仮にこの社会的階層が痛ーくないし加えて囁き交わさないならば「それは教示しない」ということは事実だ; fact16 & fact18 -> int5: その当該受給者は締めっぽい; int5 -> int6: 「締めっぽい」ものはある;
$facts$ = fact1: この第一回大会は行司であるがリースでない fact2: もし仮に痛ーくないものが囁き交わすということはないとするとそれは教示しない fact3: もし仮にある物が達観するとしたらその当該受給者は身軽い fact4: この第一回大会が行司である一方でリースだということはないならばあの当該受給者は締めっぽい fact5: その当該受給者は流され易い fact6: もしこの社会的階層が痛ーいとすればあの当該受給者は身軽くないけれど教示する fact7: もし仮に「果せる」ものはあるとすると「この社会的階層は身軽い」ということは成り立つ fact8: 「その当該受給者は据える」ということは成り立つ fact9: なんらかのものは身軽い fact10: もし「その当該受給者は身軽いということはない」ということは間違っていないならばあの全農家は達観するしかつ果せる fact11: その当該受給者は達観するしそれにそれは果せる fact12: その当該受給者は達観する fact13: 仮に「身軽い」物があればこの社会的階層は達観する fact14: なにがしかの物は教示しないとすると「それは果せらないかあるいは達観するということはないかあるいはどちらもである」ということは誤っている fact15: その当該受給者は身軽くてかつそれは化ける ; $hypothesis$ = この社会的階層は身軽くない ; $proof$ = 
fact11 -> int1: 「その当該受給者は果せる」ということは成り立つ; int1 -> int2: 「果せる」ものはある; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: この第一回大会は行司であるがリースでない
事実2: もし仮に痛ーくないものが囁き交わすということはないとするとそれは教示しない
事実3: もし仮にある物が達観するとしたらその当該受給者は身軽い
事実4: この第一回大会が行司である一方でリースだということはないならばあの当該受給者は締めっぽい
事実5: その当該受給者は流され易い
事実6: もしこの社会的階層が痛ーいとすればあの当該受給者は身軽くないけれど教示する
事実7: もし仮に「果せる」ものはあるとすると「この社会的階層は身軽い」ということは成り立つ
事実8: 「その当該受給者は据える」ということは成り立つ
事実9: なんらかのものは身軽い
事実10: もし「その当該受給者は身軽いということはない」ということは間違っていないならばあの全農家は達観するしかつ果せる
事実11: その当該受給者は達観するしそれにそれは果せる
事実12: その当該受給者は達観する
事実13: 仮に「身軽い」物があればこの社会的階層は達観する
事実14: なにがしかの物は教示しないとすると「それは果せらないかあるいは達観するということはないかあるいはどちらもである」ということは誤っている
事実15: その当該受給者は身軽くてかつそれは化ける

仮説: この社会的階層は身軽くない
1. 事実11から、推論1: "「その当該受給者は果せる」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「果せる」ものはある"が導かれる
3. 推論2と事実7から、仮説が否定される

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