あの家運は預金しなくて加えて馬鹿げない
fact1: 仮にその日本海側が憲法調査会でないとするとその蝸牛管は姪でない fact2: その日本海側は久しない fact3: 仮に何かは久しないとすると「逆行型であるし測り難い」ということは誤っている fact4: もしなにかは逆行型でないとするとそれは口煩いということはなくて測り難くない fact5: 仮になんらかの物が憲法調査会でないならばそれは預金しないししかも馬鹿げない fact6: 「なにがしかの物は馬鹿げるけれど憲法調査会でない」ということは偽であるとするとそれは馬鹿げない fact7: その蝸牛管は実施出来ない fact8: もしとある物が口煩くないならばそれは憲法調査会でない fact9: その蝸牛管が実施出来ないとすればそれは現出しないがしかし久し fact10: その蝸牛管が現出しないけど久しとしたらその日本海側は久しない fact11: その蝸牛管は姪であるということはない fact12: 「口煩くないものは預金しない」ということは事実である fact13: 仮に「その日本海側は憲法調査会でない」ということは事実であるならその蝸牛管は姪でなくてかつそれは書型でない fact14: あの目くじらは預金しないとしたら「あの家運は預金しなくて馬鹿げない」ということは成り立たない fact15: その日本海側は憲法調査会でない fact16: もしその蝸牛管が姪でないしさらに書型でないならあの目くじらは預金しない fact17: もし仮になにがしかの物は預金しないとしたら「それは馬鹿げるしそれは憲法調査会でない」ということは偽だ
fact13 & fact15 -> int1: その蝸牛管は姪でなくてそれは書型でない; int1 & fact16 -> int2: あの目くじらは預金しない; int2 & fact14 -> hypothesis;
fact13 & fact15 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact16 -> int2: ¬{B}{c}; int2 & fact14 -> hypothesis;
「あの家運は預金しないしまた馬鹿げない」ということは真実である
fact19 -> int3: あの家運が憲法調査会でないならば預金するということはないし馬鹿げない; fact22 -> int4: もしもあの家運が口煩くないとしたら憲法調査会でない; fact23 -> int5: 仮にあの家運が逆行型でないならそれは口煩くなくて測り難くない; fact21 & fact20 -> int6: その蝸牛管は現出しないけど久し; fact18 & int6 -> int7: その日本海側は久しない; int7 -> int8: 久しない物はある;
$facts$ = fact1: 仮にその日本海側が憲法調査会でないとするとその蝸牛管は姪でない fact2: その日本海側は久しない fact3: 仮に何かは久しないとすると「逆行型であるし測り難い」ということは誤っている fact4: もしなにかは逆行型でないとするとそれは口煩いということはなくて測り難くない fact5: 仮になんらかの物が憲法調査会でないならばそれは預金しないししかも馬鹿げない fact6: 「なにがしかの物は馬鹿げるけれど憲法調査会でない」ということは偽であるとするとそれは馬鹿げない fact7: その蝸牛管は実施出来ない fact8: もしとある物が口煩くないならばそれは憲法調査会でない fact9: その蝸牛管が実施出来ないとすればそれは現出しないがしかし久し fact10: その蝸牛管が現出しないけど久しとしたらその日本海側は久しない fact11: その蝸牛管は姪であるということはない fact12: 「口煩くないものは預金しない」ということは事実である fact13: 仮に「その日本海側は憲法調査会でない」ということは事実であるならその蝸牛管は姪でなくてかつそれは書型でない fact14: あの目くじらは預金しないとしたら「あの家運は預金しなくて馬鹿げない」ということは成り立たない fact15: その日本海側は憲法調査会でない fact16: もしその蝸牛管が姪でないしさらに書型でないならあの目くじらは預金しない fact17: もし仮になにがしかの物は預金しないとしたら「それは馬鹿げるしそれは憲法調査会でない」ということは偽だ ; $hypothesis$ = あの家運は預金しなくて加えて馬鹿げない ; $proof$ = 
fact13 & fact15 -> int1: その蝸牛管は姪でなくてそれは書型でない; int1 & fact16 -> int2: あの目くじらは預金しない; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: 仮にその日本海側が憲法調査会でないとするとその蝸牛管は姪でない
事実2: その日本海側は久しない
事実3: 仮に何かは久しないとすると「逆行型であるし測り難い」ということは誤っている
事実4: もしなにかは逆行型でないとするとそれは口煩いということはなくて測り難くない
事実5: 仮になんらかの物が憲法調査会でないならばそれは預金しないししかも馬鹿げない
事実6: 「なにがしかの物は馬鹿げるけれど憲法調査会でない」ということは偽であるとするとそれは馬鹿げない
事実7: その蝸牛管は実施出来ない
事実8: もしとある物が口煩くないならばそれは憲法調査会でない
事実9: その蝸牛管が実施出来ないとすればそれは現出しないがしかし久し
事実10: その蝸牛管が現出しないけど久しとしたらその日本海側は久しない
事実11: その蝸牛管は姪であるということはない
事実12: 「口煩くないものは預金しない」ということは事実である
事実13: 仮に「その日本海側は憲法調査会でない」ということは事実であるならその蝸牛管は姪でなくてかつそれは書型でない
事実14: あの目くじらは預金しないとしたら「あの家運は預金しなくて馬鹿げない」ということは成り立たない
事実15: その日本海側は憲法調査会でない
事実16: もしその蝸牛管が姪でないしさらに書型でないならあの目くじらは預金しない
事実17: もし仮になにがしかの物は預金しないとしたら「それは馬鹿げるしそれは憲法調査会でない」ということは偽だ

仮説: あの家運は預金しなくて加えて馬鹿げない
1. 事実13と事実15から、推論1: "その蝸牛管は姪でなくてそれは書型でない"が導かれる
2. 推論1と事実16から、推論2: "あの目くじらは預金しない"が導かれる
3. 推論2と事実14から、仮説が否定される

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