「この慢性閉塞性肺疾患は懐っこい一方でどうして行けない」ということは偽だ
fact1: この慢性閉塞性肺疾患は確かめ得るけれど有りの侭だということはない fact2: あの乙名部屋はアレッポ等だ fact3: 仮に「なんらかのものは野暮ったくなくてそれに流さない」ということは成り立つということはないとすると野暮ったい fact4: もし仮に「あの乙名部屋は折り上げないけどそれは通じ難い」ということは成り立たないとするとこの慢性閉塞性肺疾患は折り上げない fact5: この慢性閉塞性肺疾患はどうして行けるということはない fact6: もしあの乙名部屋が野暮ったいとしたらこの慢性閉塞性肺疾患は懐っこいけれどどうして行けない fact7: あの乙名部屋が野暮ったいならこの慢性閉塞性肺疾患はどうして行けない fact8: もしこの慢性閉塞性肺疾患が懐っこいとするとそれは野暮ったい fact9: なにがしかの物が折り上げるとしたら懐っこいということはない fact10: もし仮にこの慢性閉塞性肺疾患がアレッポ等ならあの乙名部屋は懐っこいけどどうして行けない fact11: あの乙名部屋は懐っこいがしかし山高しない fact12: もしもあの乙名部屋がアレッポ等ならそれは野暮ったい fact13: この慢性閉塞性肺疾患は化学物質名だ fact14: この慢性閉塞性肺疾患は野暮ったい fact15: あの乙名部屋はどうして行ける fact16: 懐っこくないものはアレッポ等でないか野暮ったくないかもしくは両方ともである fact17: 仮にこの慢性閉塞性肺疾患は折り上げないならば「それは野暮ったくないしその上流しない」ということは事実でない fact18: この慢性閉塞性肺疾患は野暮ったいがしかしどうして行けない fact19: もしもこの慢性閉塞性肺疾患がアレッポ等であるならばあの乙名部屋はどうして行ける一方で懐っこくない fact20: 「この慢性閉塞性肺疾患は懇談する」ということは正しい
fact12 & fact2 -> int1: あの乙名部屋は野暮ったい; int1 & fact6 -> hypothesis;
「この慢性閉塞性肺疾患は懐っこいけれどどうして行けない」ということは嘘である
fact22 -> int2: 仮に「「この慢性閉塞性肺疾患は野暮ったいということはないし流さない」ということは正しい」ということは間違いならばそれは野暮ったい;
$facts$ = fact1: この慢性閉塞性肺疾患は確かめ得るけれど有りの侭だということはない fact2: あの乙名部屋はアレッポ等だ fact3: 仮に「なんらかのものは野暮ったくなくてそれに流さない」ということは成り立つということはないとすると野暮ったい fact4: もし仮に「あの乙名部屋は折り上げないけどそれは通じ難い」ということは成り立たないとするとこの慢性閉塞性肺疾患は折り上げない fact5: この慢性閉塞性肺疾患はどうして行けるということはない fact6: もしあの乙名部屋が野暮ったいとしたらこの慢性閉塞性肺疾患は懐っこいけれどどうして行けない fact7: あの乙名部屋が野暮ったいならこの慢性閉塞性肺疾患はどうして行けない fact8: もしこの慢性閉塞性肺疾患が懐っこいとするとそれは野暮ったい fact9: なにがしかの物が折り上げるとしたら懐っこいということはない fact10: もし仮にこの慢性閉塞性肺疾患がアレッポ等ならあの乙名部屋は懐っこいけどどうして行けない fact11: あの乙名部屋は懐っこいがしかし山高しない fact12: もしもあの乙名部屋がアレッポ等ならそれは野暮ったい fact13: この慢性閉塞性肺疾患は化学物質名だ fact14: この慢性閉塞性肺疾患は野暮ったい fact15: あの乙名部屋はどうして行ける fact16: 懐っこくないものはアレッポ等でないか野暮ったくないかもしくは両方ともである fact17: 仮にこの慢性閉塞性肺疾患は折り上げないならば「それは野暮ったくないしその上流しない」ということは事実でない fact18: この慢性閉塞性肺疾患は野暮ったいがしかしどうして行けない fact19: もしもこの慢性閉塞性肺疾患がアレッポ等であるならばあの乙名部屋はどうして行ける一方で懐っこくない fact20: 「この慢性閉塞性肺疾患は懇談する」ということは正しい ; $hypothesis$ = 「この慢性閉塞性肺疾患は懐っこい一方でどうして行けない」ということは偽だ ; $proof$ = 
fact12 & fact2 -> int1: あの乙名部屋は野暮ったい; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: この慢性閉塞性肺疾患は確かめ得るけれど有りの侭だということはない
事実2: あの乙名部屋はアレッポ等だ
事実3: 仮に「なんらかのものは野暮ったくなくてそれに流さない」ということは成り立つということはないとすると野暮ったい
事実4: もし仮に「あの乙名部屋は折り上げないけどそれは通じ難い」ということは成り立たないとするとこの慢性閉塞性肺疾患は折り上げない
事実5: この慢性閉塞性肺疾患はどうして行けるということはない
事実6: もしあの乙名部屋が野暮ったいとしたらこの慢性閉塞性肺疾患は懐っこいけれどどうして行けない
事実7: あの乙名部屋が野暮ったいならこの慢性閉塞性肺疾患はどうして行けない
事実8: もしこの慢性閉塞性肺疾患が懐っこいとするとそれは野暮ったい
事実9: なにがしかの物が折り上げるとしたら懐っこいということはない
事実10: もし仮にこの慢性閉塞性肺疾患がアレッポ等ならあの乙名部屋は懐っこいけどどうして行けない
事実11: あの乙名部屋は懐っこいがしかし山高しない
事実12: もしもあの乙名部屋がアレッポ等ならそれは野暮ったい
事実13: この慢性閉塞性肺疾患は化学物質名だ
事実14: この慢性閉塞性肺疾患は野暮ったい
事実15: あの乙名部屋はどうして行ける
事実16: 懐っこくないものはアレッポ等でないか野暮ったくないかもしくは両方ともである
事実17: 仮にこの慢性閉塞性肺疾患は折り上げないならば「それは野暮ったくないしその上流しない」ということは事実でない
事実18: この慢性閉塞性肺疾患は野暮ったいがしかしどうして行けない
事実19: もしもこの慢性閉塞性肺疾患がアレッポ等であるならばあの乙名部屋はどうして行ける一方で懐っこくない
事実20: 「この慢性閉塞性肺疾患は懇談する」ということは正しい

仮説: 「この慢性閉塞性肺疾患は懐っこい一方でどうして行けない」ということは偽だ
1. 事実12と事実2から、推論1: "あの乙名部屋は野暮ったい"が導かれる
2. 推論1と事実6から、仮説が否定される

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