このサービス回数は冗談めかさない
fact1: 仮にあの花菱亭が乾煎りするとすればそれは演習課題である fact2: 仮に「「仲睦まじい」ということは真実である」物があるとすればその源泉地原則は演習課題でない fact3: もしこの第二表が縮小出来るしおまけに取り易いならばあの相談等は調べ物度でない fact4: もしも「この相談等は調べ物度でないかあるいはそれは乾煎りしないか両方である」ということは事実と異なるならこの第二表は調べ物度でない fact5: 「縮小出来る」物があるとするとこのサービス回数は冗談めかす fact6: 仮にこの相談等が抜き難いとすると冗談めかすしその上それは演習課題でない fact7: この相談等は抜き難い fact8: もし仮にこの第二表が金脈事件だということはない一方で調べ物度だとするとこのサービス回数は冗談めかさない fact9: 「この第二表は縮小出来るしそれに取り易い」ということは偽である fact10: 「「冗談めかすし更に金脈事件である」ということは偽な」ものはある fact11: もしその源泉地原則が金脈事件であるとしたらあの花菱亭は乾煎りする fact12: もしも「演習課題でない」物があればこの第二表は冗談めかすししかも金脈事件だ fact13: もし仮にこの相談等が調べ物度であるということはないとすればその源泉地原則は金脈事件である fact14: もしも「「縮小出来るししかも調べ物度だ」ということは誤りな」物があればその怪魔は縮小出来ない fact15: この第二表は縮小出来ない fact16: この第二表が冗談めかすけれどそれが調べ物度でないならばこのサービス回数は冗談めかさない fact17: 「仲睦まじい」物はある fact18: もしもある物は金脈事件だとすれば「この第二表は縮小出来るしまた調べ物度である」ということは成り立つということはない fact19: あの花菱亭は演習課題でない fact20: なにかは縮小出来ないけれど取り易い fact21: 「「縮小出来るし加えて取り易い」ということは間違っている」物はある fact22: もし仮にこの第二表が縮小出来ないけど取り易いならこの相談等は調べ物度でない fact23: 仮に「「縮小出来ないしさらに取り易い」ということは事実と異なる」物があればこのサービス回数は冗談めかす
void -> assump1: 以下のように仮定する。この第二表は縮小出来ないけれど取り易い; fact22 & assump1 -> int1: この相談等は調べ物度でない; int1 & fact13 -> int2: その源泉地原則は金脈事件である; int2 & fact11 -> int3: あの花菱亭は乾煎りする; int3 & fact1 -> int4: あの花菱亭は演習課題だ; int4 & fact19 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この第二表は縮小出来ないがそれは取り易い」ということは間違っている; int6 -> int7: 「「縮小出来なくて取り易い」ということは事実と異なる」ものはある; int7 & fact23 -> hypothesis;
「このサービス回数は冗談めかさない」ということは成り立つ
fact25 & fact28 -> int8: その源泉地原則は演習課題でない; int8 -> int9: とある物は演習課題であるということはない; int9 & fact26 -> int10: この第二表は冗談めかすし金脈事件だ; int10 -> int11: この第二表は冗談めかす;
$facts$ = fact1: 仮にあの花菱亭が乾煎りするとすればそれは演習課題である fact2: 仮に「「仲睦まじい」ということは真実である」物があるとすればその源泉地原則は演習課題でない fact3: もしこの第二表が縮小出来るしおまけに取り易いならばあの相談等は調べ物度でない fact4: もしも「この相談等は調べ物度でないかあるいはそれは乾煎りしないか両方である」ということは事実と異なるならこの第二表は調べ物度でない fact5: 「縮小出来る」物があるとするとこのサービス回数は冗談めかす fact6: 仮にこの相談等が抜き難いとすると冗談めかすしその上それは演習課題でない fact7: この相談等は抜き難い fact8: もし仮にこの第二表が金脈事件だということはない一方で調べ物度だとするとこのサービス回数は冗談めかさない fact9: 「この第二表は縮小出来るしそれに取り易い」ということは偽である fact10: 「「冗談めかすし更に金脈事件である」ということは偽な」ものはある fact11: もしその源泉地原則が金脈事件であるとしたらあの花菱亭は乾煎りする fact12: もしも「演習課題でない」物があればこの第二表は冗談めかすししかも金脈事件だ fact13: もし仮にこの相談等が調べ物度であるということはないとすればその源泉地原則は金脈事件である fact14: もしも「「縮小出来るししかも調べ物度だ」ということは誤りな」物があればその怪魔は縮小出来ない fact15: この第二表は縮小出来ない fact16: この第二表が冗談めかすけれどそれが調べ物度でないならばこのサービス回数は冗談めかさない fact17: 「仲睦まじい」物はある fact18: もしもある物は金脈事件だとすれば「この第二表は縮小出来るしまた調べ物度である」ということは成り立つということはない fact19: あの花菱亭は演習課題でない fact20: なにかは縮小出来ないけれど取り易い fact21: 「「縮小出来るし加えて取り易い」ということは間違っている」物はある fact22: もし仮にこの第二表が縮小出来ないけど取り易いならこの相談等は調べ物度でない fact23: 仮に「「縮小出来ないしさらに取り易い」ということは事実と異なる」物があればこのサービス回数は冗談めかす ; $hypothesis$ = このサービス回数は冗談めかさない ; $proof$ = 
void -> assump1: 以下のように仮定する。この第二表は縮小出来ないけれど取り易い; fact22 & assump1 -> int1: この相談等は調べ物度でない; int1 & fact13 -> int2: その源泉地原則は金脈事件である; int2 & fact11 -> int3: あの花菱亭は乾煎りする; int3 & fact1 -> int4: あの花菱亭は演習課題だ; int4 & fact19 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この第二表は縮小出来ないがそれは取り易い」ということは間違っている; int6 -> int7: 「「縮小出来なくて取り易い」ということは事実と異なる」ものはある; int7 & fact23 -> hypothesis; __DISPROVED__
事実1: 仮にあの花菱亭が乾煎りするとすればそれは演習課題である
事実2: 仮に「「仲睦まじい」ということは真実である」物があるとすればその源泉地原則は演習課題でない
事実3: もしこの第二表が縮小出来るしおまけに取り易いならばあの相談等は調べ物度でない
事実4: もしも「この相談等は調べ物度でないかあるいはそれは乾煎りしないか両方である」ということは事実と異なるならこの第二表は調べ物度でない
事実5: 「縮小出来る」物があるとするとこのサービス回数は冗談めかす
事実6: 仮にこの相談等が抜き難いとすると冗談めかすしその上それは演習課題でない
事実7: この相談等は抜き難い
事実8: もし仮にこの第二表が金脈事件だということはない一方で調べ物度だとするとこのサービス回数は冗談めかさない
事実9: 「この第二表は縮小出来るしそれに取り易い」ということは偽である
事実10: 「「冗談めかすし更に金脈事件である」ということは偽な」ものはある
事実11: もしその源泉地原則が金脈事件であるとしたらあの花菱亭は乾煎りする
事実12: もしも「演習課題でない」物があればこの第二表は冗談めかすししかも金脈事件だ
事実13: もし仮にこの相談等が調べ物度であるということはないとすればその源泉地原則は金脈事件である
事実14: もしも「「縮小出来るししかも調べ物度だ」ということは誤りな」物があればその怪魔は縮小出来ない
事実15: この第二表は縮小出来ない
事実16: この第二表が冗談めかすけれどそれが調べ物度でないならばこのサービス回数は冗談めかさない
事実17: 「仲睦まじい」物はある
事実18: もしもある物は金脈事件だとすれば「この第二表は縮小出来るしまた調べ物度である」ということは成り立つということはない
事実19: あの花菱亭は演習課題でない
事実20: なにかは縮小出来ないけれど取り易い
事実21: 「「縮小出来るし加えて取り易い」ということは間違っている」物はある
事実22: もし仮にこの第二表が縮小出来ないけど取り易いならこの相談等は調べ物度でない
事実23: 仮に「「縮小出来ないしさらに取り易い」ということは事実と異なる」物があればこのサービス回数は冗談めかす

仮説: このサービス回数は冗談めかさない
1. 仮定1: 以下のように仮定する。この第二表は縮小出来ないけれど取り易い
2. 事実22と仮定1から、推論1: "この相談等は調べ物度でない"が導かれる
3. 推論1と事実13から、推論2: "その源泉地原則は金脈事件である"が導かれる
4. 推論2と事実11から、推論3: "あの花菱亭は乾煎りする"が導かれる
5. 推論3と事実1から、推論4: "あの花菱亭は演習課題だ"が導かれる
6. 推論4と事実19から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この第二表は縮小出来ないがそれは取り易い」ということは間違っている"が導かれる
8. 推論6から、推論7: "「「縮小出来なくて取り易い」ということは事実と異なる」ものはある"が導かれる
9. 推論7と事実23から、仮説が否定される

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