あの収縮蛋白は怖いがしかし剥離し難いということはない
fact1: 剥離し難い物は怖い fact2: もしあの漁師料理が減衰しないとするとこの御住居は減衰しない fact3: なにがしかの物はリスト化しないかもしくはぶら下げないかもしくは両方ともだとするとそれは減衰しない fact4: 仮に「なんらかの物は母屋でないが労労じ」ということは本当でないとしたら暇人である fact5: 「そのダイヤル数字は暇人だしぶら下げる」ということは誤っている fact6: 「あの収縮蛋白は怖いしそれに剥離し難い」ということは嘘である fact7: この御住居は剥離し難い一方で暇人だということはない fact8: もしもとある物がリスト化する一方でぶら下げないならそれは母屋でない fact9: あの漁師料理は労労じないならば「あの収縮蛋白は労労じしまたそれは怖い」ということは成り立たない fact10: もしもあの漁師料理は暇人ならば「「あの収縮蛋白は怖いし加えて剥離し難い」ということは真実である」ということは成り立たない fact11: 全てはリスト化するがしかしぶら下げない fact12: もしそのダイヤル数字は暇人だとすると「あの漁師料理はぶら下げる一方でそれはリスト化するということはない」ということは誤りだ fact13: もし仮にあの漁師料理は暇人であるとしたら「あの収縮蛋白は怖いが剥離し難くない」ということは正しくない fact14: 「このフス派運動はぶら下げる」ということは間違っている fact15: もしもなにがしかのものは母屋でないとしたらそれはリスト化しないかまたはぶら下げないかあるいは両方だ fact16: もしもそのダイヤル数字は母屋でないとすれば「あの漁師料理は母屋だということはないがしかし労労じ」ということは嘘だ fact17: もし仮にある物が母屋ならばそれは暇人だ
fact11 -> int1: 「そのダイヤル数字はリスト化する一方でそれはぶら下げるということはない」ということは正しい; fact8 -> int2: もしそのダイヤル数字がリスト化する一方でぶら下げないなら母屋でない; int1 & int2 -> int3: そのダイヤル数字は母屋でない; int3 & fact16 -> int4: 「あの漁師料理は母屋であるということはないけど労労じ」ということは間違いだ; fact4 -> int5: もし「「あの漁師料理は母屋だということはないが労労じ」ということは成り立たない」ということは成り立つとしたら暇人である; int4 & int5 -> int6: あの漁師料理は暇人である; int6 & fact13 -> hypothesis;
「この御住居は剥離し難いけどそれは減衰しない」ということは事実である
fact18 -> int7: この御住居は剥離し難い; fact19 -> int8: 仮にあの漁師料理はリスト化しないかまたはぶら下げないかまたは両方だとすると「それは減衰するということはない」ということは確かである; fact20 -> int9: もしあの漁師料理は母屋でないならリスト化しないかまたはぶら下げないかもしくはどちらもである;
$facts$ = fact1: 剥離し難い物は怖い fact2: もしあの漁師料理が減衰しないとするとこの御住居は減衰しない fact3: なにがしかの物はリスト化しないかもしくはぶら下げないかもしくは両方ともだとするとそれは減衰しない fact4: 仮に「なんらかの物は母屋でないが労労じ」ということは本当でないとしたら暇人である fact5: 「そのダイヤル数字は暇人だしぶら下げる」ということは誤っている fact6: 「あの収縮蛋白は怖いしそれに剥離し難い」ということは嘘である fact7: この御住居は剥離し難い一方で暇人だということはない fact8: もしもとある物がリスト化する一方でぶら下げないならそれは母屋でない fact9: あの漁師料理は労労じないならば「あの収縮蛋白は労労じしまたそれは怖い」ということは成り立たない fact10: もしもあの漁師料理は暇人ならば「「あの収縮蛋白は怖いし加えて剥離し難い」ということは真実である」ということは成り立たない fact11: 全てはリスト化するがしかしぶら下げない fact12: もしそのダイヤル数字は暇人だとすると「あの漁師料理はぶら下げる一方でそれはリスト化するということはない」ということは誤りだ fact13: もし仮にあの漁師料理は暇人であるとしたら「あの収縮蛋白は怖いが剥離し難くない」ということは正しくない fact14: 「このフス派運動はぶら下げる」ということは間違っている fact15: もしもなにがしかのものは母屋でないとしたらそれはリスト化しないかまたはぶら下げないかあるいは両方だ fact16: もしもそのダイヤル数字は母屋でないとすれば「あの漁師料理は母屋だということはないがしかし労労じ」ということは嘘だ fact17: もし仮にある物が母屋ならばそれは暇人だ ; $hypothesis$ = あの収縮蛋白は怖いがしかし剥離し難いということはない ; $proof$ = 
fact11 -> int1: 「そのダイヤル数字はリスト化する一方でそれはぶら下げるということはない」ということは正しい; fact8 -> int2: もしそのダイヤル数字がリスト化する一方でぶら下げないなら母屋でない; int1 & int2 -> int3: そのダイヤル数字は母屋でない; int3 & fact16 -> int4: 「あの漁師料理は母屋であるということはないけど労労じ」ということは間違いだ; fact4 -> int5: もし「「あの漁師料理は母屋だということはないが労労じ」ということは成り立たない」ということは成り立つとしたら暇人である; int4 & int5 -> int6: あの漁師料理は暇人である; int6 & fact13 -> hypothesis; __DISPROVED__
事実1: 剥離し難い物は怖い
事実2: もしあの漁師料理が減衰しないとするとこの御住居は減衰しない
事実3: なにがしかの物はリスト化しないかもしくはぶら下げないかもしくは両方ともだとするとそれは減衰しない
事実4: 仮に「なんらかの物は母屋でないが労労じ」ということは本当でないとしたら暇人である
事実5: 「そのダイヤル数字は暇人だしぶら下げる」ということは誤っている
事実6: 「あの収縮蛋白は怖いしそれに剥離し難い」ということは嘘である
事実7: この御住居は剥離し難い一方で暇人だということはない
事実8: もしもとある物がリスト化する一方でぶら下げないならそれは母屋でない
事実9: あの漁師料理は労労じないならば「あの収縮蛋白は労労じしまたそれは怖い」ということは成り立たない
事実10: もしもあの漁師料理は暇人ならば「「あの収縮蛋白は怖いし加えて剥離し難い」ということは真実である」ということは成り立たない
事実11: 全てはリスト化するがしかしぶら下げない
事実12: もしそのダイヤル数字は暇人だとすると「あの漁師料理はぶら下げる一方でそれはリスト化するということはない」ということは誤りだ
事実13: もし仮にあの漁師料理は暇人であるとしたら「あの収縮蛋白は怖いが剥離し難くない」ということは正しくない
事実14: 「このフス派運動はぶら下げる」ということは間違っている
事実15: もしもなにがしかのものは母屋でないとしたらそれはリスト化しないかまたはぶら下げないかあるいは両方だ
事実16: もしもそのダイヤル数字は母屋でないとすれば「あの漁師料理は母屋だということはないがしかし労労じ」ということは嘘だ
事実17: もし仮にある物が母屋ならばそれは暇人だ

仮説: あの収縮蛋白は怖いがしかし剥離し難いということはない
1. 事実11から、推論1: "「そのダイヤル数字はリスト化する一方でそれはぶら下げるということはない」ということは正しい"が導かれる
2. 事実8から、推論2: "もしそのダイヤル数字がリスト化する一方でぶら下げないなら母屋でない"が導かれる
3. 推論1と推論2から、推論3: "そのダイヤル数字は母屋でない"が導かれる
4. 推論3と事実16から、推論4: "「あの漁師料理は母屋であるということはないけど労労じ」ということは間違いだ"が導かれる
5. 事実4から、推論5: "もし「「あの漁師料理は母屋だということはないが労労じ」ということは成り立たない」ということは成り立つとしたら暇人である"が導かれる
6. 推論4と推論5から、推論6: "あの漁師料理は暇人である"が導かれる
7. 推論6と事実13から、仮説が否定される

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