あの貧乏揺すりはひ弱くない
fact1: 仮にこのクロス張り替えが苦しむならあの熊本バンドは好もしかない fact2: ある物が好もしいということはないとすればそれは見事さである fact3: このクロス張り替えはひ弱くない fact4: 「あの熊本バンドは見事さだ」ということは確かだ fact5: 仮に「なんらかのものは見事さであるかもしくはそれは薙ぎ払わないかもしくはどちらもだ」ということは成り立たないとするとそれは好もしいということはない fact6: 仮に「このクロス張り替えは苦しまないしそれにそれは慢性腎不全でない」ということは事実でないとするとあの熊本バンドは好もしかない fact7: もしこのクロス張り替えが慢性腎不全であるしその上ひ弱いとするとあの貧乏揺すりは苦しむ fact8: 仮に「「このクロス張り替えはひ弱くないかもしくは浅過ぎるかもしくはどちらもだ」ということは成り立つ」ということは成り立たないなら「あの貧乏揺すりはひ弱くない」ということは確かだ fact9: もし仮に何らかの物はクリニックであるということはないとすると「それは見事さであるかあるいはそれは薙ぎ払わないか両方である」ということは間違いである fact10: 「このクロス張り替えは苦しむということはなくてそれは慢性腎不全でない」ということは成り立たない fact11: 「「このクロス張り替えは苦しむがしかし慢性腎不全でない」ということは成り立つ」ということは偽だ fact12: もし仮にあの熊本バンドが浅過ぎないけれどそれが見事さならあの貧乏揺すりはひ弱い fact13: 好もしかないものは浅過ぎないがしかし見事さである fact14: もし仮にある物は借金地獄でないならばそれはクリニックであるということはない fact15: もし仮にあの熊本バンドが度量だということはないしかつ厨子入りでないとすればこのクロス張り替えは借金地獄でない fact16: もしもあの熊本バンドがひ弱いということはないならばそれは見事さでないがしかし浅過ぎる fact17: あの熊本バンドが好もしかないなら見事さである fact18: あの熊本バンドは開花しない
fact6 & fact10 -> int1: あの熊本バンドは好もしいということはない; fact13 -> int2: もし仮に「あの熊本バンドは好もしかない」ということは確かだとすると浅過ぎないがしかし見事さである; int1 & int2 -> int3: あの熊本バンドは浅過ぎないがしかし見事さだ; int3 & fact12 -> hypothesis;
あの貧乏揺すりはひ弱いということはない
fact22 -> int4: もしも「このクロス張り替えは見事さであるか薙ぎ払わないかまたはどちらもだ」ということは間違いであるならばそれは好もしいということはない; fact21 -> int5: もしもこのクロス張り替えはクリニックでないとすれば「それは見事さであるかもしくは薙ぎ払うということはないかどちらもである」ということは誤りだ; fact23 -> int6: もしこのクロス張り替えは借金地獄でないとしたらそれはクリニックでない;
$facts$ = fact1: 仮にこのクロス張り替えが苦しむならあの熊本バンドは好もしかない fact2: ある物が好もしいということはないとすればそれは見事さである fact3: このクロス張り替えはひ弱くない fact4: 「あの熊本バンドは見事さだ」ということは確かだ fact5: 仮に「なんらかのものは見事さであるかもしくはそれは薙ぎ払わないかもしくはどちらもだ」ということは成り立たないとするとそれは好もしいということはない fact6: 仮に「このクロス張り替えは苦しまないしそれにそれは慢性腎不全でない」ということは事実でないとするとあの熊本バンドは好もしかない fact7: もしこのクロス張り替えが慢性腎不全であるしその上ひ弱いとするとあの貧乏揺すりは苦しむ fact8: 仮に「「このクロス張り替えはひ弱くないかもしくは浅過ぎるかもしくはどちらもだ」ということは成り立つ」ということは成り立たないなら「あの貧乏揺すりはひ弱くない」ということは確かだ fact9: もし仮に何らかの物はクリニックであるということはないとすると「それは見事さであるかあるいはそれは薙ぎ払わないか両方である」ということは間違いである fact10: 「このクロス張り替えは苦しむということはなくてそれは慢性腎不全でない」ということは成り立たない fact11: 「「このクロス張り替えは苦しむがしかし慢性腎不全でない」ということは成り立つ」ということは偽だ fact12: もし仮にあの熊本バンドが浅過ぎないけれどそれが見事さならあの貧乏揺すりはひ弱い fact13: 好もしかないものは浅過ぎないがしかし見事さである fact14: もし仮にある物は借金地獄でないならばそれはクリニックであるということはない fact15: もし仮にあの熊本バンドが度量だということはないしかつ厨子入りでないとすればこのクロス張り替えは借金地獄でない fact16: もしもあの熊本バンドがひ弱いということはないならばそれは見事さでないがしかし浅過ぎる fact17: あの熊本バンドが好もしかないなら見事さである fact18: あの熊本バンドは開花しない ; $hypothesis$ = あの貧乏揺すりはひ弱くない ; $proof$ = 
fact6 & fact10 -> int1: あの熊本バンドは好もしいということはない; fact13 -> int2: もし仮に「あの熊本バンドは好もしかない」ということは確かだとすると浅過ぎないがしかし見事さである; int1 & int2 -> int3: あの熊本バンドは浅過ぎないがしかし見事さだ; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: 仮にこのクロス張り替えが苦しむならあの熊本バンドは好もしかない
事実2: ある物が好もしいということはないとすればそれは見事さである
事実3: このクロス張り替えはひ弱くない
事実4: 「あの熊本バンドは見事さだ」ということは確かだ
事実5: 仮に「なんらかのものは見事さであるかもしくはそれは薙ぎ払わないかもしくはどちらもだ」ということは成り立たないとするとそれは好もしいということはない
事実6: 仮に「このクロス張り替えは苦しまないしそれにそれは慢性腎不全でない」ということは事実でないとするとあの熊本バンドは好もしかない
事実7: もしこのクロス張り替えが慢性腎不全であるしその上ひ弱いとするとあの貧乏揺すりは苦しむ
事実8: 仮に「「このクロス張り替えはひ弱くないかもしくは浅過ぎるかもしくはどちらもだ」ということは成り立つ」ということは成り立たないなら「あの貧乏揺すりはひ弱くない」ということは確かだ
事実9: もし仮に何らかの物はクリニックであるということはないとすると「それは見事さであるかあるいはそれは薙ぎ払わないか両方である」ということは間違いである
事実10: 「このクロス張り替えは苦しむということはなくてそれは慢性腎不全でない」ということは成り立たない
事実11: 「「このクロス張り替えは苦しむがしかし慢性腎不全でない」ということは成り立つ」ということは偽だ
事実12: もし仮にあの熊本バンドが浅過ぎないけれどそれが見事さならあの貧乏揺すりはひ弱い
事実13: 好もしかないものは浅過ぎないがしかし見事さである
事実14: もし仮にある物は借金地獄でないならばそれはクリニックであるということはない
事実15: もし仮にあの熊本バンドが度量だということはないしかつ厨子入りでないとすればこのクロス張り替えは借金地獄でない
事実16: もしもあの熊本バンドがひ弱いということはないならばそれは見事さでないがしかし浅過ぎる
事実17: あの熊本バンドが好もしかないなら見事さである
事実18: あの熊本バンドは開花しない

仮説: あの貧乏揺すりはひ弱くない
1. 事実6と事実10から、推論1: "あの熊本バンドは好もしいということはない"が導かれる
2. 事実13から、推論2: "もし仮に「あの熊本バンドは好もしかない」ということは確かだとすると浅過ぎないがしかし見事さである"が導かれる
3. 推論1と推論2から、推論3: "あの熊本バンドは浅過ぎないがしかし見事さだ"が導かれる
4. 推論3と事実12から、仮説が否定される

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