「この顧客リストは用い易いがしかし要介護者等でない」ということは本当でない
fact1: 「その緑陰は形成し易い」ということは嘘でない fact2: もし仮になにがしかのものは墨守しないとすれば「用い易い一方で要介護者等でない」ということは間違っている fact3: もしも「この思慮は計上出来ない」ということは間違いだとすると要介護者等でない fact4: 「「何らかの物は活動し難いがしかし簡易旅館だということはない」ということは本当である」ということは正しくないならそれは要介護者等でない fact5: 「「活動し難くないしそれに形成し易い」ということは誤りな」物はある fact6: もし仮に「墨守しない」物はあれば「この顧客リストは活動し難くてそれに簡易旅館だ」ということは誤っている fact7: 仮に「「墨守しない」ということは本当な」ものはあれば「この顧客リストは活動し難いけれど簡易旅館でない」ということは偽である fact8: もしも「とあるものは改修しないしその上用い易いない」ということは成り立たないとしたらそれは用い易い fact9: もしもその緑陰は形成し易いとすれば「この顧客リストは改修しないがしかしそれは用い易い」ということは嘘だ fact10: 何かは墨守しない fact11: 仮にその緑陰は形成し易いとすると「この顧客リストは改修しないしおまけに用い易くない」ということは嘘である
fact10 & fact7 -> int1: 「この顧客リストは活動し難い一方で簡易旅館でない」ということは間違っている; fact4 -> int2: 「この顧客リストは活動し難い一方で簡易旅館でない」ということは成り立たないとしたら「それは要介護者等でない」ということは確かである; int1 & int2 -> int3: この顧客リストは要介護者等でない; fact8 -> int4: もし仮に「この顧客リストは改修しなくておまけに用い易くない」ということは偽ならば「それは用い易い」ということは本当である; fact11 & fact1 -> int5: 「この顧客リストは改修するということはないし用い易いということはない」ということは成り立たない; int4 & int5 -> int6: この顧客リストは用い易い; int3 & int6 -> hypothesis;
「この顧客リストは用い易いけれどそれは要介護者等でない」ということは誤りである
fact12 -> int7: 仮にこの顧客リストは墨守しないとすれば「用い易いがしかし要介護者等でない」ということは誤っている;
$facts$ = fact1: 「その緑陰は形成し易い」ということは嘘でない fact2: もし仮になにがしかのものは墨守しないとすれば「用い易い一方で要介護者等でない」ということは間違っている fact3: もしも「この思慮は計上出来ない」ということは間違いだとすると要介護者等でない fact4: 「「何らかの物は活動し難いがしかし簡易旅館だということはない」ということは本当である」ということは正しくないならそれは要介護者等でない fact5: 「「活動し難くないしそれに形成し易い」ということは誤りな」物はある fact6: もし仮に「墨守しない」物はあれば「この顧客リストは活動し難くてそれに簡易旅館だ」ということは誤っている fact7: 仮に「「墨守しない」ということは本当な」ものはあれば「この顧客リストは活動し難いけれど簡易旅館でない」ということは偽である fact8: もしも「とあるものは改修しないしその上用い易いない」ということは成り立たないとしたらそれは用い易い fact9: もしもその緑陰は形成し易いとすれば「この顧客リストは改修しないがしかしそれは用い易い」ということは嘘だ fact10: 何かは墨守しない fact11: 仮にその緑陰は形成し易いとすると「この顧客リストは改修しないしおまけに用い易くない」ということは嘘である ; $hypothesis$ = 「この顧客リストは用い易いがしかし要介護者等でない」ということは本当でない ; $proof$ = 
fact10 & fact7 -> int1: 「この顧客リストは活動し難い一方で簡易旅館でない」ということは間違っている; fact4 -> int2: 「この顧客リストは活動し難い一方で簡易旅館でない」ということは成り立たないとしたら「それは要介護者等でない」ということは確かである; int1 & int2 -> int3: この顧客リストは要介護者等でない; fact8 -> int4: もし仮に「この顧客リストは改修しなくておまけに用い易くない」ということは偽ならば「それは用い易い」ということは本当である; fact11 & fact1 -> int5: 「この顧客リストは改修するということはないし用い易いということはない」ということは成り立たない; int4 & int5 -> int6: この顧客リストは用い易い; int3 & int6 -> hypothesis; __DISPROVED__
事実1: 「その緑陰は形成し易い」ということは嘘でない
事実2: もし仮になにがしかのものは墨守しないとすれば「用い易い一方で要介護者等でない」ということは間違っている
事実3: もしも「この思慮は計上出来ない」ということは間違いだとすると要介護者等でない
事実4: 「「何らかの物は活動し難いがしかし簡易旅館だということはない」ということは本当である」ということは正しくないならそれは要介護者等でない
事実5: 「「活動し難くないしそれに形成し易い」ということは誤りな」物はある
事実6: もし仮に「墨守しない」物はあれば「この顧客リストは活動し難くてそれに簡易旅館だ」ということは誤っている
事実7: 仮に「「墨守しない」ということは本当な」ものはあれば「この顧客リストは活動し難いけれど簡易旅館でない」ということは偽である
事実8: もしも「とあるものは改修しないしその上用い易いない」ということは成り立たないとしたらそれは用い易い
事実9: もしもその緑陰は形成し易いとすれば「この顧客リストは改修しないがしかしそれは用い易い」ということは嘘だ
事実10: 何かは墨守しない
事実11: 仮にその緑陰は形成し易いとすると「この顧客リストは改修しないしおまけに用い易くない」ということは嘘である

仮説: 「この顧客リストは用い易いがしかし要介護者等でない」ということは本当でない
1. 事実10と事実7から、推論1: "「この顧客リストは活動し難い一方で簡易旅館でない」ということは間違っている"が導かれる
2. 事実4から、推論2: "「この顧客リストは活動し難い一方で簡易旅館でない」ということは成り立たないとしたら「それは要介護者等でない」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "この顧客リストは要介護者等でない"が導かれる
4. 事実8から、推論4: "もし仮に「この顧客リストは改修しなくておまけに用い易くない」ということは偽ならば「それは用い易い」ということは本当である"が導かれる
5. 事実11と事実1から、推論5: "「この顧客リストは改修するということはないし用い易いということはない」ということは成り立たない"が導かれる
6. 推論4と推論5から、推論6: "この顧客リストは用い易い"が導かれる
7. 推論3と推論6から、仮説が否定される

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