「もし仮にこの仁治元年が検索文字列でないとするとこのアダージョ・グラツィオーソは貸し付け業務である」ということは事実でない
fact1: もし仮になんらかのものはずらさないとすると「委嘱だ」ということは事実である fact2: 「とある物は言い捨てなくて落とし兼ねない」ということは誤りなら株式制度である fact3: もし「あるものは篦鹿でそれは揉む」ということは成り立たないならばそれはずらすということはない fact4: 何かは紳士らしくないならばそれは心苦しい fact5: 仮に築き難い物が委嘱でないとすればそれは検索文字列だ fact6: もし仮に「とある物は金融検査マニュアル別冊でないししかもそれは贈答用でない」ということは成り立たないとすると貸し付け業務である fact7: もし「ある物は築き難くてそれは委嘱である」ということは間違いであるならば貸し付け業務であるということはない fact8: 仮になんらかのものが受光感度でないとすればそれは電子商取り引きだ fact9: もし仮に「この仁治元年は贈答用でないし検索文字列でない」ということは成り立たないとすればそれは貸し付け業務だ fact10: もしも何かは贈答用だとすればそれは築き難いしさらにそれは委嘱でない fact11: 仮に「このアダージョ・グラツィオーソは委嘱だ」ということは成り立つとしたら築き難い fact12: もしこのアダージョ・グラツィオーソがずらすということはなくてそれに金融検査マニュアル別冊でないとすればあの仁治元年は金融検査マニュアル別冊であるということはない fact13: もしなんらかの物は篦鹿でないならばそれは検索文字列でない fact14: このアダージョ・グラツィオーソは検索文字列だ fact15: もしこの仁治元年が検索文字列であるとするとこのアダージョ・グラツィオーソは貸し付け業務だ fact16: もしもこの仁治元年は検索文字列だということはないとしたら「このアダージョ・グラツィオーソは篦鹿であるし揉む」ということは事実でない fact17: この仁治元年は委嘱でない fact18: このアダージョ・グラツィオーソは築き難いとすれば「金融検査マニュアル別冊でなくてかつ贈答用でない」ということは誤りである fact19: もし仮にこの仁治元年が検索文字列なら揉む
void -> assump1: 以下のように仮定する。この仁治元年は検索文字列でない; fact16 & assump1 -> int1: 「このアダージョ・グラツィオーソは篦鹿であるししかも揉む」ということは間違いである; fact3 -> int2: もしも「「このアダージョ・グラツィオーソは篦鹿でおまけに揉む」ということは偽でない」ということは嘘であるとすれば「それはずらさない」ということは成り立つ; int1 & int2 -> int3: このアダージョ・グラツィオーソはずらさない; fact1 -> int4: このアダージョ・グラツィオーソがずらさないならばそれは委嘱だ; int3 & int4 -> int5: このアダージョ・グラツィオーソは委嘱だ; int5 & fact11 -> int6: このアダージョ・グラツィオーソは築き難い; int6 & fact18 -> int7: 「このアダージョ・グラツィオーソは金融検査マニュアル別冊だということはなくてまた贈答用でない」ということは誤っている; fact6 -> int8: もしも「このアダージョ・グラツィオーソは金融検査マニュアル別冊だということはないし贈答用であるということはない」ということは間違いならば貸し付け業務だ; int7 & int8 -> int9: このアダージョ・グラツィオーソは貸し付け業務だ; [assump1] & int9 -> hypothesis;
この仁治元年は金融検査マニュアル別冊でない
fact20 -> int10: 仮にこのアダージョ・グラツィオーソが築き難いが委嘱であるということはないならば「それは検索文字列だ」ということは成り立つ; fact21 -> int11: 仮に「このアダージョ・グラツィオーソは贈答用だ」ということは正しいとすれば築き難いが委嘱でない;
$facts$ = fact1: もし仮になんらかのものはずらさないとすると「委嘱だ」ということは事実である fact2: 「とある物は言い捨てなくて落とし兼ねない」ということは誤りなら株式制度である fact3: もし「あるものは篦鹿でそれは揉む」ということは成り立たないならばそれはずらすということはない fact4: 何かは紳士らしくないならばそれは心苦しい fact5: 仮に築き難い物が委嘱でないとすればそれは検索文字列だ fact6: もし仮に「とある物は金融検査マニュアル別冊でないししかもそれは贈答用でない」ということは成り立たないとすると貸し付け業務である fact7: もし「ある物は築き難くてそれは委嘱である」ということは間違いであるならば貸し付け業務であるということはない fact8: 仮になんらかのものが受光感度でないとすればそれは電子商取り引きだ fact9: もし仮に「この仁治元年は贈答用でないし検索文字列でない」ということは成り立たないとすればそれは貸し付け業務だ fact10: もしも何かは贈答用だとすればそれは築き難いしさらにそれは委嘱でない fact11: 仮に「このアダージョ・グラツィオーソは委嘱だ」ということは成り立つとしたら築き難い fact12: もしこのアダージョ・グラツィオーソがずらすということはなくてそれに金融検査マニュアル別冊でないとすればあの仁治元年は金融検査マニュアル別冊であるということはない fact13: もしなんらかの物は篦鹿でないならばそれは検索文字列でない fact14: このアダージョ・グラツィオーソは検索文字列だ fact15: もしこの仁治元年が検索文字列であるとするとこのアダージョ・グラツィオーソは貸し付け業務だ fact16: もしもこの仁治元年は検索文字列だということはないとしたら「このアダージョ・グラツィオーソは篦鹿であるし揉む」ということは事実でない fact17: この仁治元年は委嘱でない fact18: このアダージョ・グラツィオーソは築き難いとすれば「金融検査マニュアル別冊でなくてかつ贈答用でない」ということは誤りである fact19: もし仮にこの仁治元年が検索文字列なら揉む ; $hypothesis$ = 「もし仮にこの仁治元年が検索文字列でないとするとこのアダージョ・グラツィオーソは貸し付け業務である」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この仁治元年は検索文字列でない; fact16 & assump1 -> int1: 「このアダージョ・グラツィオーソは篦鹿であるししかも揉む」ということは間違いである; fact3 -> int2: もしも「「このアダージョ・グラツィオーソは篦鹿でおまけに揉む」ということは偽でない」ということは嘘であるとすれば「それはずらさない」ということは成り立つ; int1 & int2 -> int3: このアダージョ・グラツィオーソはずらさない; fact1 -> int4: このアダージョ・グラツィオーソがずらさないならばそれは委嘱だ; int3 & int4 -> int5: このアダージョ・グラツィオーソは委嘱だ; int5 & fact11 -> int6: このアダージョ・グラツィオーソは築き難い; int6 & fact18 -> int7: 「このアダージョ・グラツィオーソは金融検査マニュアル別冊だということはなくてまた贈答用でない」ということは誤っている; fact6 -> int8: もしも「このアダージョ・グラツィオーソは金融検査マニュアル別冊だということはないし贈答用であるということはない」ということは間違いならば貸し付け業務だ; int7 & int8 -> int9: このアダージョ・グラツィオーソは貸し付け業務だ; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものはずらさないとすると「委嘱だ」ということは事実である
事実2: 「とある物は言い捨てなくて落とし兼ねない」ということは誤りなら株式制度である
事実3: もし「あるものは篦鹿でそれは揉む」ということは成り立たないならばそれはずらすということはない
事実4: 何かは紳士らしくないならばそれは心苦しい
事実5: 仮に築き難い物が委嘱でないとすればそれは検索文字列だ
事実6: もし仮に「とある物は金融検査マニュアル別冊でないししかもそれは贈答用でない」ということは成り立たないとすると貸し付け業務である
事実7: もし「ある物は築き難くてそれは委嘱である」ということは間違いであるならば貸し付け業務であるということはない
事実8: 仮になんらかのものが受光感度でないとすればそれは電子商取り引きだ
事実9: もし仮に「この仁治元年は贈答用でないし検索文字列でない」ということは成り立たないとすればそれは貸し付け業務だ
事実10: もしも何かは贈答用だとすればそれは築き難いしさらにそれは委嘱でない
事実11: 仮に「このアダージョ・グラツィオーソは委嘱だ」ということは成り立つとしたら築き難い
事実12: もしこのアダージョ・グラツィオーソがずらすということはなくてそれに金融検査マニュアル別冊でないとすればあの仁治元年は金融検査マニュアル別冊であるということはない
事実13: もしなんらかの物は篦鹿でないならばそれは検索文字列でない
事実14: このアダージョ・グラツィオーソは検索文字列だ
事実15: もしこの仁治元年が検索文字列であるとするとこのアダージョ・グラツィオーソは貸し付け業務だ
事実16: もしもこの仁治元年は検索文字列だということはないとしたら「このアダージョ・グラツィオーソは篦鹿であるし揉む」ということは事実でない
事実17: この仁治元年は委嘱でない
事実18: このアダージョ・グラツィオーソは築き難いとすれば「金融検査マニュアル別冊でなくてかつ贈答用でない」ということは誤りである
事実19: もし仮にこの仁治元年が検索文字列なら揉む

仮説: 「もし仮にこの仁治元年が検索文字列でないとするとこのアダージョ・グラツィオーソは貸し付け業務である」ということは事実でない
1. 仮定1: 以下のように仮定する。この仁治元年は検索文字列でない
2. 事実16と仮定1から、推論1: "「このアダージョ・グラツィオーソは篦鹿であるししかも揉む」ということは間違いである"が導かれる
3. 事実3から、推論2: "もしも「「このアダージョ・グラツィオーソは篦鹿でおまけに揉む」ということは偽でない」ということは嘘であるとすれば「それはずらさない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "このアダージョ・グラツィオーソはずらさない"が導かれる
5. 事実1から、推論4: "このアダージョ・グラツィオーソがずらさないならばそれは委嘱だ"が導かれる
6. 推論3と推論4から、推論5: "このアダージョ・グラツィオーソは委嘱だ"が導かれる
7. 推論5と事実11から、推論6: "このアダージョ・グラツィオーソは築き難い"が導かれる
8. 推論6と事実18から、推論7: "「このアダージョ・グラツィオーソは金融検査マニュアル別冊だということはなくてまた贈答用でない」ということは誤っている"が導かれる
9. 事実6から、推論8: "もしも「このアダージョ・グラツィオーソは金融検査マニュアル別冊だということはないし贈答用であるということはない」ということは間違いならば貸し付け業務だ"が導かれる
10. 推論7と推論8から、推論9: "このアダージョ・グラツィオーソは貸し付け業務だ"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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