「この燻煙処理は溜まり易くない」ということは成り立つ
fact1: 「なんらかのものは法案化しないかあるいは治療的カウンセリングであるか両方ともだ」ということは嘘であるとするとそれは溜まり易くない fact2: もし仮になにかは溜まり易いならそれは松平信綱等だ fact3: 「法案化する」物はある fact4: 「仮に何らかの物は松平信綱等でないとしたら「それは法案化しないかまたは治療的カウンセリングであるかあるいは両方である」ということは成り立つということはない」ということは事実だ fact5: もしも「治療的カウンセリングでない」物はあるとすると「この金杯は踊り続けない」ということは事実だ fact6: もしも「治療的カウンセリングでない」ものがあるとするとこの金杯は踊り続けないけど松平信綱等だ fact7: このコンコルドは留置針であるかもしくはそれは食い締めるかまたはどちらもである fact8: もしなにかは鍛え抜くとすれば「それは包括医療でないしその上それはこだわり過ぎない」ということは成り立たない fact9: この規定元は法案化する fact10: 「この過剰雇用はみみっちくないがしかし歩き易い」ということは間違いならこの金杯は歩き易くない fact11: 仮に「なんらかの物は小狡くないし典型的事例でない」ということは成り立つということはないとしたらそれは秘密めく fact12: もし仮にこの金杯が踊り続けるということはないが松平信綱等であるならばこの燻煙処理は溜まり易い fact13: もし仮にこの金杯が法案化しないけど治療的カウンセリングだとすればあの規定元は踊り続ける fact14: 仮にこの規定元が歩き易いとすればそれは受け易くなくてかつ溜まり易い fact15: あのカールトン卿は法案化する fact16: もし仮に「「包括医療でなくてしかもこだわり過ぎるということはない」ということは成り立たない」物があるとすればこの過剰雇用はＨνである fact17: 仮になにがしかのものは歩き易くないとしたら「この規定元は受け易くないしおまけにそれは踊り続けない」ということは正しくない fact18: 仮にこのコンコルドが留置針ならあの桃は鍛え抜く fact19: なんらかのものはＨνであるとすると「それは小狡くなくて典型的事例でない」ということは誤りである fact20: もしもこの規定元が法案化するとすれば治療的カウンセリングでない fact21: 松平信綱等は治療的カウンセリングであるかまたは法案化しないかまたは両方ともである fact22: もし仮になにかは秘密めけば「みみっちくないけど歩き易い」ということは間違っている fact23: 仮にこのコンコルドは食い締めるなら「あの桃は鍛え抜く」ということは真実である
fact20 & fact9 -> int1: この規定元は治療的カウンセリングであるということはない; int1 -> int2: 「治療的カウンセリングでない」ものはある; int2 & fact6 -> int3: この金杯は踊り続けないがしかし松平信綱等である; int3 & fact12 -> hypothesis;
あの発端は踊り続けない
fact26 -> int4: 仮にこの規定元は松平信綱等であるとすればそれは治療的カウンセリングであるかまたは法案化しないかあるいは両方だ; fact24 -> int5: この規定元が溜まり易いならばそれは松平信綱等である;
$facts$ = fact1: 「なんらかのものは法案化しないかあるいは治療的カウンセリングであるか両方ともだ」ということは嘘であるとするとそれは溜まり易くない fact2: もし仮になにかは溜まり易いならそれは松平信綱等だ fact3: 「法案化する」物はある fact4: 「仮に何らかの物は松平信綱等でないとしたら「それは法案化しないかまたは治療的カウンセリングであるかあるいは両方である」ということは成り立つということはない」ということは事実だ fact5: もしも「治療的カウンセリングでない」物はあるとすると「この金杯は踊り続けない」ということは事実だ fact6: もしも「治療的カウンセリングでない」ものがあるとするとこの金杯は踊り続けないけど松平信綱等だ fact7: このコンコルドは留置針であるかもしくはそれは食い締めるかまたはどちらもである fact8: もしなにかは鍛え抜くとすれば「それは包括医療でないしその上それはこだわり過ぎない」ということは成り立たない fact9: この規定元は法案化する fact10: 「この過剰雇用はみみっちくないがしかし歩き易い」ということは間違いならこの金杯は歩き易くない fact11: 仮に「なんらかの物は小狡くないし典型的事例でない」ということは成り立つということはないとしたらそれは秘密めく fact12: もし仮にこの金杯が踊り続けるということはないが松平信綱等であるならばこの燻煙処理は溜まり易い fact13: もし仮にこの金杯が法案化しないけど治療的カウンセリングだとすればあの規定元は踊り続ける fact14: 仮にこの規定元が歩き易いとすればそれは受け易くなくてかつ溜まり易い fact15: あのカールトン卿は法案化する fact16: もし仮に「「包括医療でなくてしかもこだわり過ぎるということはない」ということは成り立たない」物があるとすればこの過剰雇用はＨνである fact17: 仮になにがしかのものは歩き易くないとしたら「この規定元は受け易くないしおまけにそれは踊り続けない」ということは正しくない fact18: 仮にこのコンコルドが留置針ならあの桃は鍛え抜く fact19: なんらかのものはＨνであるとすると「それは小狡くなくて典型的事例でない」ということは誤りである fact20: もしもこの規定元が法案化するとすれば治療的カウンセリングでない fact21: 松平信綱等は治療的カウンセリングであるかまたは法案化しないかまたは両方ともである fact22: もし仮になにかは秘密めけば「みみっちくないけど歩き易い」ということは間違っている fact23: 仮にこのコンコルドは食い締めるなら「あの桃は鍛え抜く」ということは真実である ; $hypothesis$ = 「この燻煙処理は溜まり易くない」ということは成り立つ ; $proof$ = 
fact20 & fact9 -> int1: この規定元は治療的カウンセリングであるということはない; int1 -> int2: 「治療的カウンセリングでない」ものはある; int2 & fact6 -> int3: この金杯は踊り続けないがしかし松平信綱等である; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: 「なんらかのものは法案化しないかあるいは治療的カウンセリングであるか両方ともだ」ということは嘘であるとするとそれは溜まり易くない
事実2: もし仮になにかは溜まり易いならそれは松平信綱等だ
事実3: 「法案化する」物はある
事実4: 「仮に何らかの物は松平信綱等でないとしたら「それは法案化しないかまたは治療的カウンセリングであるかあるいは両方である」ということは成り立つということはない」ということは事実だ
事実5: もしも「治療的カウンセリングでない」物はあるとすると「この金杯は踊り続けない」ということは事実だ
事実6: もしも「治療的カウンセリングでない」ものがあるとするとこの金杯は踊り続けないけど松平信綱等だ
事実7: このコンコルドは留置針であるかもしくはそれは食い締めるかまたはどちらもである
事実8: もしなにかは鍛え抜くとすれば「それは包括医療でないしその上それはこだわり過ぎない」ということは成り立たない
事実9: この規定元は法案化する
事実10: 「この過剰雇用はみみっちくないがしかし歩き易い」ということは間違いならこの金杯は歩き易くない
事実11: 仮に「なんらかの物は小狡くないし典型的事例でない」ということは成り立つということはないとしたらそれは秘密めく
事実12: もし仮にこの金杯が踊り続けるということはないが松平信綱等であるならばこの燻煙処理は溜まり易い
事実13: もし仮にこの金杯が法案化しないけど治療的カウンセリングだとすればあの規定元は踊り続ける
事実14: 仮にこの規定元が歩き易いとすればそれは受け易くなくてかつ溜まり易い
事実15: あのカールトン卿は法案化する
事実16: もし仮に「「包括医療でなくてしかもこだわり過ぎるということはない」ということは成り立たない」物があるとすればこの過剰雇用はＨνである
事実17: 仮になにがしかのものは歩き易くないとしたら「この規定元は受け易くないしおまけにそれは踊り続けない」ということは正しくない
事実18: 仮にこのコンコルドが留置針ならあの桃は鍛え抜く
事実19: なんらかのものはＨνであるとすると「それは小狡くなくて典型的事例でない」ということは誤りである
事実20: もしもこの規定元が法案化するとすれば治療的カウンセリングでない
事実21: 松平信綱等は治療的カウンセリングであるかまたは法案化しないかまたは両方ともである
事実22: もし仮になにかは秘密めけば「みみっちくないけど歩き易い」ということは間違っている
事実23: 仮にこのコンコルドは食い締めるなら「あの桃は鍛え抜く」ということは真実である

仮説: 「この燻煙処理は溜まり易くない」ということは成り立つ
1. 事実20と事実9から、推論1: "この規定元は治療的カウンセリングであるということはない"が導かれる
2. 推論1から、推論2: "「治療的カウンセリングでない」ものはある"が導かれる
3. 推論2と事実6から、推論3: "この金杯は踊り続けないがしかし松平信綱等である"が導かれる
4. 推論3と事実12から、仮説が否定される

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