その大家族は狂おしくない
fact1: 「その大家族は安堵し難いかまたは狂おしくないかあるいは両方だ」ということは確かでないとすればあの妖狐は与え難い fact2: あの妖狐が狂おしくないが過信するとすればこの龍野醤油同業組合は与え難い fact3: もしもその大家族は東洋人ならば「スタートすらないしそれにそれは絶命する」ということは誤りである fact4: 「あの妖狐は与え難いかもしくは安堵し難くない」ということは間違いだとすればその大家族は狂おしい fact5: もしも「「あの妖狐は与え難いか狂おしくない」ということは正しい」ということは誤っているとすればその大家族は安堵し難い fact6: 「あの妖狐は与え難いかまたは狂おしくない」ということは成り立たない fact7: 仮に「その大家族は安堵し難いかまたはそれは与え難くない」ということは確かでないならばあの妖狐は狂おしい fact8: あの妖狐は与え難くない fact9: 「あの妖狐は与え難いかまたは安堵し難いということはない」ということは事実と異なる fact10: もしもある物が社会的労働であるということはないとしたらそれが狂おしくないしさらにそれは過信する fact11: 「その大家族はＢＢであるかそれは掛け易くないかもしくはどちらもだ」ということは成り立たない fact12: その大家族は与え難い
fact4 & fact9 -> hypothesis;
fact4 & fact9 -> hypothesis;
この龍野醤油同業組合は与え難い
fact14 -> int1: 「もしもあの妖狐が社会的労働でないならばあの妖狐は狂おしくないけれど過信する」ということは成り立つ;
$facts$ = fact1: 「その大家族は安堵し難いかまたは狂おしくないかあるいは両方だ」ということは確かでないとすればあの妖狐は与え難い fact2: あの妖狐が狂おしくないが過信するとすればこの龍野醤油同業組合は与え難い fact3: もしもその大家族は東洋人ならば「スタートすらないしそれにそれは絶命する」ということは誤りである fact4: 「あの妖狐は与え難いかもしくは安堵し難くない」ということは間違いだとすればその大家族は狂おしい fact5: もしも「「あの妖狐は与え難いか狂おしくない」ということは正しい」ということは誤っているとすればその大家族は安堵し難い fact6: 「あの妖狐は与え難いかまたは狂おしくない」ということは成り立たない fact7: 仮に「その大家族は安堵し難いかまたはそれは与え難くない」ということは確かでないならばあの妖狐は狂おしい fact8: あの妖狐は与え難くない fact9: 「あの妖狐は与え難いかまたは安堵し難いということはない」ということは事実と異なる fact10: もしもある物が社会的労働であるということはないとしたらそれが狂おしくないしさらにそれは過信する fact11: 「その大家族はＢＢであるかそれは掛け易くないかもしくはどちらもだ」ということは成り立たない fact12: その大家族は与え難い ; $hypothesis$ = その大家族は狂おしくない ; $proof$ = 
fact4 & fact9 -> hypothesis; __DISPROVED__
事実1: 「その大家族は安堵し難いかまたは狂おしくないかあるいは両方だ」ということは確かでないとすればあの妖狐は与え難い
事実2: あの妖狐が狂おしくないが過信するとすればこの龍野醤油同業組合は与え難い
事実3: もしもその大家族は東洋人ならば「スタートすらないしそれにそれは絶命する」ということは誤りである
事実4: 「あの妖狐は与え難いかもしくは安堵し難くない」ということは間違いだとすればその大家族は狂おしい
事実5: もしも「「あの妖狐は与え難いか狂おしくない」ということは正しい」ということは誤っているとすればその大家族は安堵し難い
事実6: 「あの妖狐は与え難いかまたは狂おしくない」ということは成り立たない
事実7: 仮に「その大家族は安堵し難いかまたはそれは与え難くない」ということは確かでないならばあの妖狐は狂おしい
事実8: あの妖狐は与え難くない
事実9: 「あの妖狐は与え難いかまたは安堵し難いということはない」ということは事実と異なる
事実10: もしもある物が社会的労働であるということはないとしたらそれが狂おしくないしさらにそれは過信する
事実11: 「その大家族はＢＢであるかそれは掛け易くないかもしくはどちらもだ」ということは成り立たない
事実12: その大家族は与え難い

仮説: その大家族は狂おしくない
1. 事実4と事実9から、仮説が否定される

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