この昇順は御辛い
fact1: 「なにかは言い易くないけど最広義だ」ということは間違っているとすると最広義でない fact2: 仮にこの薬剤耐性が最広義であるとすればその執務机は危うい fact3: 仮にその執務机は最広義ならば「それは危うくなくておまけに分会でない」ということは誤りだ fact4: なにかは癒着するしまた言い易い fact5: 「この薬剤耐性は住まないけれど好まし」ということは誤りだ fact6: この薬剤耐性は親しいか最広義だ fact7: 危うい物が分会であるとするとこの昇順は御辛くない fact8: もし仮にその執務机は癒着するとすれば「それは言い易くないしそれにそれは最広義である」ということは誤っている fact9: 「分会である」ものはある fact10: 仮に「この薬剤耐性は好まし」ということは事実でないとすればあの執務机は人間っぽいし癒着する fact11: 「「危うくないしかつ分会でない」ということは嘘である」物があるとすればあの意味記憶は建設ＣＡＬＳである fact12: 「危うい」ものはある fact13: その執務机は選択し易い fact14: 仮にこの薬剤耐性が親しいとすればその執務机は危うい fact15: その執務机は選択し易いししかも分会である fact16: もしもなにがしかの物が御辛くないとしたらそれは選択し易いしその上親しい fact17: とあるものは最広義であるし危うい fact18: 仮に「「この薬剤耐性は住まないけれどそれは好まし」ということは成り立つ」ということは事実でないとすれば「好ましない」ということは真実だ fact19: もし何らかのものが分会でないとすると選択し易いしかつ御辛い fact20: 「この昇順は最広義だ」ということは成り立てばその執務机は最広義である
fact15 -> int1: その執務机は分会である; fact6 & fact14 & fact2 -> int2: 「その執務机は危うい」ということは誤っていない; int1 & int2 -> int3: その執務机は危うくてまた分会である; int3 -> int4: 「危ういし更に分会な」ものはある; int4 & fact7 -> hypothesis;
この昇順は御辛い
fact21 -> int5: もしこの昇順が分会でないとすればそれは選択し易いものでそれに御辛い; fact25 -> int6: 仮に「「その執務机は言い易くない最広義だ」ということは成り立たない」ということは成り立つとすると最広義でない; fact23 & fact24 -> int7: 「この薬剤耐性は好ましない」ということは確かだ; fact22 & int7 -> int8: その執務机は人間っぽくて更に癒着する; int8 -> int9: その執務机は癒着する; fact26 & int9 -> int10: 「その執務机は言い易くない一方でそれは最広義である」ということは成り立たない; int6 & int10 -> int11: その執務机は最広義でない;
$facts$ = fact1: 「なにかは言い易くないけど最広義だ」ということは間違っているとすると最広義でない fact2: 仮にこの薬剤耐性が最広義であるとすればその執務机は危うい fact3: 仮にその執務机は最広義ならば「それは危うくなくておまけに分会でない」ということは誤りだ fact4: なにかは癒着するしまた言い易い fact5: 「この薬剤耐性は住まないけれど好まし」ということは誤りだ fact6: この薬剤耐性は親しいか最広義だ fact7: 危うい物が分会であるとするとこの昇順は御辛くない fact8: もし仮にその執務机は癒着するとすれば「それは言い易くないしそれにそれは最広義である」ということは誤っている fact9: 「分会である」ものはある fact10: 仮に「この薬剤耐性は好まし」ということは事実でないとすればあの執務机は人間っぽいし癒着する fact11: 「「危うくないしかつ分会でない」ということは嘘である」物があるとすればあの意味記憶は建設ＣＡＬＳである fact12: 「危うい」ものはある fact13: その執務机は選択し易い fact14: 仮にこの薬剤耐性が親しいとすればその執務机は危うい fact15: その執務机は選択し易いししかも分会である fact16: もしもなにがしかの物が御辛くないとしたらそれは選択し易いしその上親しい fact17: とあるものは最広義であるし危うい fact18: 仮に「「この薬剤耐性は住まないけれどそれは好まし」ということは成り立つ」ということは事実でないとすれば「好ましない」ということは真実だ fact19: もし何らかのものが分会でないとすると選択し易いしかつ御辛い fact20: 「この昇順は最広義だ」ということは成り立てばその執務机は最広義である ; $hypothesis$ = この昇順は御辛い ; $proof$ = 
fact15 -> int1: その執務机は分会である; fact6 & fact14 & fact2 -> int2: 「その執務机は危うい」ということは誤っていない; int1 & int2 -> int3: その執務机は危うくてまた分会である; int3 -> int4: 「危ういし更に分会な」ものはある; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 「なにかは言い易くないけど最広義だ」ということは間違っているとすると最広義でない
事実2: 仮にこの薬剤耐性が最広義であるとすればその執務机は危うい
事実3: 仮にその執務机は最広義ならば「それは危うくなくておまけに分会でない」ということは誤りだ
事実4: なにかは癒着するしまた言い易い
事実5: 「この薬剤耐性は住まないけれど好まし」ということは誤りだ
事実6: この薬剤耐性は親しいか最広義だ
事実7: 危うい物が分会であるとするとこの昇順は御辛くない
事実8: もし仮にその執務机は癒着するとすれば「それは言い易くないしそれにそれは最広義である」ということは誤っている
事実9: 「分会である」ものはある
事実10: 仮に「この薬剤耐性は好まし」ということは事実でないとすればあの執務机は人間っぽいし癒着する
事実11: 「「危うくないしかつ分会でない」ということは嘘である」物があるとすればあの意味記憶は建設ＣＡＬＳである
事実12: 「危うい」ものはある
事実13: その執務机は選択し易い
事実14: 仮にこの薬剤耐性が親しいとすればその執務机は危うい
事実15: その執務机は選択し易いししかも分会である
事実16: もしもなにがしかの物が御辛くないとしたらそれは選択し易いしその上親しい
事実17: とあるものは最広義であるし危うい
事実18: 仮に「「この薬剤耐性は住まないけれどそれは好まし」ということは成り立つ」ということは事実でないとすれば「好ましない」ということは真実だ
事実19: もし何らかのものが分会でないとすると選択し易いしかつ御辛い
事実20: 「この昇順は最広義だ」ということは成り立てばその執務机は最広義である

仮説: この昇順は御辛い
1. 事実15から、推論1: "その執務机は分会である"が導かれる
2. 事実6と事実14と事実2から、推論2: "「その執務机は危うい」ということは誤っていない"が導かれる
3. 推論1と推論2から、推論3: "その執務机は危うくてまた分会である"が導かれる
4. 推論3から、推論4: "「危ういし更に分会な」ものはある"が導かれる
5. 推論4と事実7から、仮説が否定される

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