「あの裏社会は天与だということはないしそれは果てし無くない」ということは正しくない
fact1: もし仮にあるものは礼物でないとするとそれは御掛け下さる一方で薬臭くない fact2: 「増量するということはない」物があればあの裏社会は観測値でないししかも果てし無くない fact3: 果てし無いものは薬臭くないかまたは天与でないかまたはどちらもだ fact4: 「天与である」ものはある fact5: もしもある物が薬臭くないかもしくはそれは天与でないか両方ともであるならそれは夥しくない fact6: 果てし無い物はある fact7: もし「天与でない」ものがあるならあの裏社会は果てし無くない fact8: もしこの踊り念仏は薬臭くないなら「あの裏社会は天与でないし果てし無いということはない」ということは成り立たない fact9: もし「薬臭くない」物があるならばあの裏社会は天与でなくてまた果てし無いということはない fact10: なにかは薬臭くない
fact10 & fact9 -> hypothesis;
fact10 & fact9 -> hypothesis;
「あの裏社会は天与でなくて加えて果てし無くない」ということは間違いだ
fact12 -> int1: もし仮にこの踊り念仏が礼物でないとしたら御掛け下さるしそれにそれは薬臭くない;
$facts$ = fact1: もし仮にあるものは礼物でないとするとそれは御掛け下さる一方で薬臭くない fact2: 「増量するということはない」物があればあの裏社会は観測値でないししかも果てし無くない fact3: 果てし無いものは薬臭くないかまたは天与でないかまたはどちらもだ fact4: 「天与である」ものはある fact5: もしもある物が薬臭くないかもしくはそれは天与でないか両方ともであるならそれは夥しくない fact6: 果てし無い物はある fact7: もし「天与でない」ものがあるならあの裏社会は果てし無くない fact8: もしこの踊り念仏は薬臭くないなら「あの裏社会は天与でないし果てし無いということはない」ということは成り立たない fact9: もし「薬臭くない」物があるならばあの裏社会は天与でなくてまた果てし無いということはない fact10: なにかは薬臭くない ; $hypothesis$ = 「あの裏社会は天与だということはないしそれは果てし無くない」ということは正しくない ; $proof$ = 
fact10 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものは礼物でないとするとそれは御掛け下さる一方で薬臭くない
事実2: 「増量するということはない」物があればあの裏社会は観測値でないししかも果てし無くない
事実3: 果てし無いものは薬臭くないかまたは天与でないかまたはどちらもだ
事実4: 「天与である」ものはある
事実5: もしもある物が薬臭くないかもしくはそれは天与でないか両方ともであるならそれは夥しくない
事実6: 果てし無い物はある
事実7: もし「天与でない」ものがあるならあの裏社会は果てし無くない
事実8: もしこの踊り念仏は薬臭くないなら「あの裏社会は天与でないし果てし無いということはない」ということは成り立たない
事実9: もし「薬臭くない」物があるならばあの裏社会は天与でなくてまた果てし無いということはない
事実10: なにかは薬臭くない

仮説: 「あの裏社会は天与だということはないしそれは果てし無くない」ということは正しくない
1. 事実10と事実9から、仮説が否定される

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