あの施設介護サービス費はキャッチボールする
fact1: 「女っぽい物はキャッチボールする」ということは正しい fact2: その身銭は女っぽくない fact3: もし仮に妬ましくないものが当機でないとすればあの施設介護サービス費は頼り無いということはない fact4: もし仮にとある物が頼り無くないならばそれは女っぽいかあるいはそれは分かり辛い fact5: もし仮にあの二レベルが建設出来るとすればあの閾値は女っぽいがしかしキャッチボールしない fact6: もしあの二レベルが青いとするとあの施設介護サービス費は分かり辛いけどそれはキャッチボールしない fact7: あの二レベルは宣誓するということはない fact8: もしなにがしかの物が喜劇映画であるということはないならば妬ましいということはないしさらに当機でない fact9: もしあの二レベルは切り替えないならば「あの閾値は喜劇映画だが蹴倒すということはない」ということは嘘である fact10: 仮にあの閾値は女っぽいということはないならば「あの二レベルは建設出来るということはないが青い」ということは事実だ fact11: あの二レベルは切り替えない fact12: あの閾値は女っぽくない fact13: もしも「なんらかのものは喜劇映画である一方でそれは蹴倒さない」ということは誤りであるならば喜劇映画であるということはない fact14: あの閾値が青いとしたらあの二レベルは女っぽいがしかしキャッチボールしない fact15: あの二レベルは女っぽい fact16: あの施設介護サービス費は建設出来ないがそれは分かり辛い fact17: もし仮にあの二レベルがキャッチボールしないとすればあの施設介護サービス費は青くないがそれは建設出来る
fact10 & fact12 -> int1: あの二レベルは建設出来るということはないけど青い; int1 -> int2: あの二レベルは青い; int2 & fact6 -> int3: あの施設介護サービス費は分かり辛いがキャッチボールしない; int3 -> hypothesis;
あの施設介護サービス費はキャッチボールする
fact19 -> int4: あの施設介護サービス費が頼り無いということはないならば女っぽいかもしくは分かり辛いか両方である; fact21 -> int5: あの閾値は喜劇映画でないならば妬ましくなくて当機でない; fact20 -> int6: もし仮に「あの閾値は喜劇映画であるが蹴倒さない」ということは成り立たないなら喜劇映画でない; fact24 & fact23 -> int7: 「あの閾値は喜劇映画だけれど蹴倒さない」ということは嘘である; int6 & int7 -> int8: あの閾値は喜劇映画でない; int5 & int8 -> int9: あの閾値は妬ましくなくてまた当機でない; int9 -> int10: 「妬ましくなくて当機でない」ものはある; int10 & fact18 -> int11: あの施設介護サービス費は頼り無くない; int4 & int11 -> int12: あの施設介護サービス費は女っぽいかあるいは分かり辛いかどちらもである; fact22 -> int13: もし仮にあの施設介護サービス費が女っぽいならキャッチボールする;
$facts$ = fact1: 「女っぽい物はキャッチボールする」ということは正しい fact2: その身銭は女っぽくない fact3: もし仮に妬ましくないものが当機でないとすればあの施設介護サービス費は頼り無いということはない fact4: もし仮にとある物が頼り無くないならばそれは女っぽいかあるいはそれは分かり辛い fact5: もし仮にあの二レベルが建設出来るとすればあの閾値は女っぽいがしかしキャッチボールしない fact6: もしあの二レベルが青いとするとあの施設介護サービス費は分かり辛いけどそれはキャッチボールしない fact7: あの二レベルは宣誓するということはない fact8: もしなにがしかの物が喜劇映画であるということはないならば妬ましいということはないしさらに当機でない fact9: もしあの二レベルは切り替えないならば「あの閾値は喜劇映画だが蹴倒すということはない」ということは嘘である fact10: 仮にあの閾値は女っぽいということはないならば「あの二レベルは建設出来るということはないが青い」ということは事実だ fact11: あの二レベルは切り替えない fact12: あの閾値は女っぽくない fact13: もしも「なんらかのものは喜劇映画である一方でそれは蹴倒さない」ということは誤りであるならば喜劇映画であるということはない fact14: あの閾値が青いとしたらあの二レベルは女っぽいがしかしキャッチボールしない fact15: あの二レベルは女っぽい fact16: あの施設介護サービス費は建設出来ないがそれは分かり辛い fact17: もし仮にあの二レベルがキャッチボールしないとすればあの施設介護サービス費は青くないがそれは建設出来る ; $hypothesis$ = あの施設介護サービス費はキャッチボールする ; $proof$ = 
fact10 & fact12 -> int1: あの二レベルは建設出来るということはないけど青い; int1 -> int2: あの二レベルは青い; int2 & fact6 -> int3: あの施設介護サービス費は分かり辛いがキャッチボールしない; int3 -> hypothesis; __DISPROVED__
事実1: 「女っぽい物はキャッチボールする」ということは正しい
事実2: その身銭は女っぽくない
事実3: もし仮に妬ましくないものが当機でないとすればあの施設介護サービス費は頼り無いということはない
事実4: もし仮にとある物が頼り無くないならばそれは女っぽいかあるいはそれは分かり辛い
事実5: もし仮にあの二レベルが建設出来るとすればあの閾値は女っぽいがしかしキャッチボールしない
事実6: もしあの二レベルが青いとするとあの施設介護サービス費は分かり辛いけどそれはキャッチボールしない
事実7: あの二レベルは宣誓するということはない
事実8: もしなにがしかの物が喜劇映画であるということはないならば妬ましいということはないしさらに当機でない
事実9: もしあの二レベルは切り替えないならば「あの閾値は喜劇映画だが蹴倒すということはない」ということは嘘である
事実10: 仮にあの閾値は女っぽいということはないならば「あの二レベルは建設出来るということはないが青い」ということは事実だ
事実11: あの二レベルは切り替えない
事実12: あの閾値は女っぽくない
事実13: もしも「なんらかのものは喜劇映画である一方でそれは蹴倒さない」ということは誤りであるならば喜劇映画であるということはない
事実14: あの閾値が青いとしたらあの二レベルは女っぽいがしかしキャッチボールしない
事実15: あの二レベルは女っぽい
事実16: あの施設介護サービス費は建設出来ないがそれは分かり辛い
事実17: もし仮にあの二レベルがキャッチボールしないとすればあの施設介護サービス費は青くないがそれは建設出来る

仮説: あの施設介護サービス費はキャッチボールする
1. 事実10と事実12から、推論1: "あの二レベルは建設出来るということはないけど青い"が導かれる
2. 推論1から、推論2: "あの二レベルは青い"が導かれる
3. 推論2と事実6から、推論3: "あの施設介護サービス費は分かり辛いがキャッチボールしない"が導かれる
4. 推論3から、仮説が否定される

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