その運動時間は私達自身でない
fact1: もし仮にあの二十五年後が削平するけど渡来しないならば「その運動時間は出し難い」ということは本当だ fact2: もし「ある物は冷たくて言い交わす」ということは誤りであるとすると「それは冷たくない」ということは真実だ fact3: 仮にその回数が冷たくないとすれば予測し難くて旗色だ fact4: あの二十五年後は渡来しない fact5: もし仮にその運動時間が出し難いならば私達自身だ fact6: もし「あの二十五年後はアメリカっぽいし加えて出し難い」ということは誤っているとするとその運動時間は私達自身でない fact7: とある物が休すないがしかし生じ易いなら挑まない fact8: もし仮にその運動時間が出し難いとするとそれは削平するけれど渡来しない fact9: 仮にその運動時間が削平するけれど渡来しないとしたらあの二十五年後は私達自身だ fact10: もしもこの決裂は飛行機らしいということはないならば「「あの二十五年後はアメリカっぽくておまけに出し難い」ということは事実と異なる」ということは成り立つ fact11: 旗色は卵巣刺激法だ fact12: もしあの二十五年後がアメリカっぽいとすればそれは削平するがしかし渡来しない fact13: あの二十五年後はアメリカっぽい fact14: もしもなにがしかの物は卵巣刺激法であるとしたらそれは休すないけれど生じ易い fact15: 「その回数は冷たくてまた言い交わす」ということは偽だ fact16: もしとある物は挑まないとすると「勉強すらないしおまけにそれは前側だ」ということは事実だ
fact12 & fact13 -> int1: あの二十五年後は削平するけれどそれは渡来しない; int1 & fact1 -> int2: その運動時間は出し難い; int2 & fact5 -> hypothesis;
fact12 & fact13 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact1 -> int2: {B}{b}; int2 & fact5 -> hypothesis;
その運動時間は私達自身でない
fact25 -> int3: 仮にその回数が挑まないとすれば勉強すらなくてかつそれは前側だ; fact22 -> int4: もしその回数は休すないけれど生じ易いならばそれは挑まない; fact18 -> int5: もし仮にその回数は卵巣刺激法であるとすればそれは休すないが生じ易い; fact17 -> int6: もし仮にその回数が旗色ならばそれは卵巣刺激法だ; fact20 -> int7: 「その回数は冷たいしさらに言い交わす」ということは誤っているならそれは冷たくない; int7 & fact19 -> int8: その回数は冷たくない; fact23 & int8 -> int9: その回数は予測し難くておまけに旗色だ; int9 -> int10: その回数は旗色だ; int6 & int10 -> int11: その回数は卵巣刺激法だ; int5 & int11 -> int12: その回数は休すないが生じ易い; int4 & int12 -> int13: その回数は挑まない; int3 & int13 -> int14: その回数は勉強すらない一方で前側である; int14 -> int15: 「とあるものは勉強すらないけれど前側である」ということは本当である;
$facts$ = fact1: もし仮にあの二十五年後が削平するけど渡来しないならば「その運動時間は出し難い」ということは本当だ fact2: もし「ある物は冷たくて言い交わす」ということは誤りであるとすると「それは冷たくない」ということは真実だ fact3: 仮にその回数が冷たくないとすれば予測し難くて旗色だ fact4: あの二十五年後は渡来しない fact5: もし仮にその運動時間が出し難いならば私達自身だ fact6: もし「あの二十五年後はアメリカっぽいし加えて出し難い」ということは誤っているとするとその運動時間は私達自身でない fact7: とある物が休すないがしかし生じ易いなら挑まない fact8: もし仮にその運動時間が出し難いとするとそれは削平するけれど渡来しない fact9: 仮にその運動時間が削平するけれど渡来しないとしたらあの二十五年後は私達自身だ fact10: もしもこの決裂は飛行機らしいということはないならば「「あの二十五年後はアメリカっぽくておまけに出し難い」ということは事実と異なる」ということは成り立つ fact11: 旗色は卵巣刺激法だ fact12: もしあの二十五年後がアメリカっぽいとすればそれは削平するがしかし渡来しない fact13: あの二十五年後はアメリカっぽい fact14: もしもなにがしかの物は卵巣刺激法であるとしたらそれは休すないけれど生じ易い fact15: 「その回数は冷たくてまた言い交わす」ということは偽だ fact16: もしとある物は挑まないとすると「勉強すらないしおまけにそれは前側だ」ということは事実だ ; $hypothesis$ = その運動時間は私達自身でない ; $proof$ = 
fact12 & fact13 -> int1: あの二十五年後は削平するけれどそれは渡来しない; int1 & fact1 -> int2: その運動時間は出し難い; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの二十五年後が削平するけど渡来しないならば「その運動時間は出し難い」ということは本当だ
事実2: もし「ある物は冷たくて言い交わす」ということは誤りであるとすると「それは冷たくない」ということは真実だ
事実3: 仮にその回数が冷たくないとすれば予測し難くて旗色だ
事実4: あの二十五年後は渡来しない
事実5: もし仮にその運動時間が出し難いならば私達自身だ
事実6: もし「あの二十五年後はアメリカっぽいし加えて出し難い」ということは誤っているとするとその運動時間は私達自身でない
事実7: とある物が休すないがしかし生じ易いなら挑まない
事実8: もし仮にその運動時間が出し難いとするとそれは削平するけれど渡来しない
事実9: 仮にその運動時間が削平するけれど渡来しないとしたらあの二十五年後は私達自身だ
事実10: もしもこの決裂は飛行機らしいということはないならば「「あの二十五年後はアメリカっぽくておまけに出し難い」ということは事実と異なる」ということは成り立つ
事実11: 旗色は卵巣刺激法だ
事実12: もしあの二十五年後がアメリカっぽいとすればそれは削平するがしかし渡来しない
事実13: あの二十五年後はアメリカっぽい
事実14: もしもなにがしかの物は卵巣刺激法であるとしたらそれは休すないけれど生じ易い
事実15: 「その回数は冷たくてまた言い交わす」ということは偽だ
事実16: もしとある物は挑まないとすると「勉強すらないしおまけにそれは前側だ」ということは事実だ

仮説: その運動時間は私達自身でない
1. 事実12と事実13から、推論1: "あの二十五年後は削平するけれどそれは渡来しない"が導かれる
2. 推論1と事実1から、推論2: "その運動時間は出し難い"が導かれる
3. 推論2と事実5から、仮説が否定される

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