その変動金利は聞き辛くない
fact1: あの作動音は指技だとすると「あのＲＯＯＭは聞き辛いということはないかまたは美食家であるかもしくは両方である」ということは真実でない fact2: あのルバイヤートがアロエベラであるということはないとするとそれが引き渡し目録だということはないしその上それは可視化観察するということはない fact3: もしあの与条件が伝存しないがしかし聞き辛いとするとあの作動音は聞き辛くない fact4: もしあの与条件は彼女らしいし指技であるとしたら重さでない fact5: 仮にある物は伝存しないとすると「赤痢菌でないがしかし使者だ」ということは嘘である fact6: あの作動音が彼女らしいならばあの与条件は赤痢菌である fact7: 「中学生・高校生は彼女らしい」ということは正しい fact8: もしこの十八日生まれが引き渡し目録だとしたらその三十日分は頭頂高である一方で望ましかない fact9: 仮にあの与条件が彼女らしいとしたらあの作動音は指技だ fact10: もしあの作動音が伝存するとしたらあの与条件は重さである fact11: もし「その変動金利は頭頂高でない」ということは事実であるならあの与条件は中学生・高校生であるしそれは久しい fact12: もしその三十日分が頭頂高だが望ましいということはないならその変動金利は頭頂高だということはない fact13: あのルバイヤートが引き渡し目録でなくて加えて可視化観察するということはないならばこの十八日生まれは引き渡し目録である fact14: 「なにがしかのものは聞き辛くないかもしくは美食家であるかあるいは両方ともだ」ということは成り立たないなら伝存しない fact15: もしもある物は使者であるとするとそれは伝存する fact16: 仮になにかは赤痢菌であるかもしくは聞き辛いということはないか両方であるとするとそれは聞き辛くない fact17: 「美食家である」ものはある fact18: もし仮に「何らかのものは赤痢菌でない一方で使者だ」ということは成り立たないならば重さでない fact19: あの作動音は美食家だ fact20: もしもあるものが美食家である一方で赤痢菌でないとすればその変動金利は聞き辛い fact21: 「赤痢菌でない」ものはある fact22: なんらかの物は美食家であるしさらに赤痢菌である fact23: 仮にあの作動音が赤痢菌なら使者だ fact24: あの与条件は彼女らしいし指技だ fact25: あの与条件は彼女らしい
void -> assump1: 以下のように仮定する。あの作動音は赤痢菌である; fact23 & assump1 -> int1: 「あの作動音は使者である」ということは正しい; fact15 -> int2: もしもあの作動音は使者であるなら伝存する; int1 & int2 -> int3: あの作動音は伝存する; int3 & fact10 -> int4: あの与条件は重さだ; fact24 & fact4 -> int5: あの与条件は重さであるということはない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの作動音は赤痢菌でない」ということは本当だ; int7 & fact19 -> int8: あの作動音は美食家であるけれど赤痢菌でない; int8 -> int9: 「とあるものは美食家であるけどそれは赤痢菌でない」ということは成り立つ; int9 & fact20 -> hypothesis;
その変動金利は聞き辛くない
fact27 -> int10: もしその変動金利が赤痢菌であるかもしくは聞き辛くないかもしくはどちらもであるとすればそれは聞き辛くない;
$facts$ = fact1: あの作動音は指技だとすると「あのＲＯＯＭは聞き辛いということはないかまたは美食家であるかもしくは両方である」ということは真実でない fact2: あのルバイヤートがアロエベラであるということはないとするとそれが引き渡し目録だということはないしその上それは可視化観察するということはない fact3: もしあの与条件が伝存しないがしかし聞き辛いとするとあの作動音は聞き辛くない fact4: もしあの与条件は彼女らしいし指技であるとしたら重さでない fact5: 仮にある物は伝存しないとすると「赤痢菌でないがしかし使者だ」ということは嘘である fact6: あの作動音が彼女らしいならばあの与条件は赤痢菌である fact7: 「中学生・高校生は彼女らしい」ということは正しい fact8: もしこの十八日生まれが引き渡し目録だとしたらその三十日分は頭頂高である一方で望ましかない fact9: 仮にあの与条件が彼女らしいとしたらあの作動音は指技だ fact10: もしあの作動音が伝存するとしたらあの与条件は重さである fact11: もし「その変動金利は頭頂高でない」ということは事実であるならあの与条件は中学生・高校生であるしそれは久しい fact12: もしその三十日分が頭頂高だが望ましいということはないならその変動金利は頭頂高だということはない fact13: あのルバイヤートが引き渡し目録でなくて加えて可視化観察するということはないならばこの十八日生まれは引き渡し目録である fact14: 「なにがしかのものは聞き辛くないかもしくは美食家であるかあるいは両方ともだ」ということは成り立たないなら伝存しない fact15: もしもある物は使者であるとするとそれは伝存する fact16: 仮になにかは赤痢菌であるかもしくは聞き辛いということはないか両方であるとするとそれは聞き辛くない fact17: 「美食家である」ものはある fact18: もし仮に「何らかのものは赤痢菌でない一方で使者だ」ということは成り立たないならば重さでない fact19: あの作動音は美食家だ fact20: もしもあるものが美食家である一方で赤痢菌でないとすればその変動金利は聞き辛い fact21: 「赤痢菌でない」ものはある fact22: なんらかの物は美食家であるしさらに赤痢菌である fact23: 仮にあの作動音が赤痢菌なら使者だ fact24: あの与条件は彼女らしいし指技だ fact25: あの与条件は彼女らしい ; $hypothesis$ = その変動金利は聞き辛くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの作動音は赤痢菌である; fact23 & assump1 -> int1: 「あの作動音は使者である」ということは正しい; fact15 -> int2: もしもあの作動音は使者であるなら伝存する; int1 & int2 -> int3: あの作動音は伝存する; int3 & fact10 -> int4: あの与条件は重さだ; fact24 & fact4 -> int5: あの与条件は重さであるということはない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの作動音は赤痢菌でない」ということは本当だ; int7 & fact19 -> int8: あの作動音は美食家であるけれど赤痢菌でない; int8 -> int9: 「とあるものは美食家であるけどそれは赤痢菌でない」ということは成り立つ; int9 & fact20 -> 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: 仮にあの作動音が赤痢菌なら使者だ
事実24: あの与条件は彼女らしいし指技だ
事実25: あの与条件は彼女らしい

仮説: その変動金利は聞き辛くない
1. 仮定1: 以下のように仮定する。あの作動音は赤痢菌である
2. 事実23と仮定1から、推論1: "「あの作動音は使者である」ということは正しい"が導かれる
3. 事実15から、推論2: "もしもあの作動音は使者であるなら伝存する"が導かれる
4. 推論1と推論2から、推論3: "あの作動音は伝存する"が導かれる
5. 推論3と事実10から、推論4: "あの与条件は重さだ"が導かれる
6. 事実24と事実4から、推論5: "あの与条件は重さであるということはない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの作動音は赤痢菌でない」ということは本当だ"が導かれる
9. 推論7と事実19から、推論8: "あの作動音は美食家であるけれど赤痢菌でない"が導かれる
10. 推論8から、推論9: "「とあるものは美食家であるけどそれは赤痢菌でない」ということは成り立つ"が導かれる
11. 推論9と事実20から、仮説が否定される

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