この先物外国為替契約は屈曲しない
fact1: もしもその口数が屈曲するならこの先物外国為替契約は有料Ｐである fact2: もしこの貯蔵所が貶まないしそれが割れ易くないとすれば屈曲しない fact3: 「この先物外国為替契約は揺るぎない」ということは成り立つ fact4: その口数は有料Ｐである fact5: 「その口数が屈曲するしまた有料Ｐだとすればあの先物外国為替契約は屈曲しない」ということは事実だ fact6: もしもその口数が揺るぎないとしたらこの先物外国為替契約は屈曲する fact7: この株価変動は揺るぎない fact8: その口数は屈曲すれば「この先物外国為替契約は揺るぎない」ということは事実だ fact9: 仮に「その口数は貶む」ということは成り立たないとすると屈曲するし揺るぎない fact10: この脾臓は揺るぎない fact11: その口数は有料Ｐであるしさらに揺るぎない fact12: もしもこの先物外国為替契約が有料Ｐであるとすればその口数は揺るぎない fact13: この先物外国為替契約は物凄まじい
fact11 -> int1: その口数は揺るぎない; int1 & fact6 -> hypothesis;
fact11 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
この先物外国為替契約は屈曲するということはない
$facts$ = fact1: もしもその口数が屈曲するならこの先物外国為替契約は有料Ｐである fact2: もしこの貯蔵所が貶まないしそれが割れ易くないとすれば屈曲しない fact3: 「この先物外国為替契約は揺るぎない」ということは成り立つ fact4: その口数は有料Ｐである fact5: 「その口数が屈曲するしまた有料Ｐだとすればあの先物外国為替契約は屈曲しない」ということは事実だ fact6: もしもその口数が揺るぎないとしたらこの先物外国為替契約は屈曲する fact7: この株価変動は揺るぎない fact8: その口数は屈曲すれば「この先物外国為替契約は揺るぎない」ということは事実だ fact9: 仮に「その口数は貶む」ということは成り立たないとすると屈曲するし揺るぎない fact10: この脾臓は揺るぎない fact11: その口数は有料Ｐであるしさらに揺るぎない fact12: もしもこの先物外国為替契約が有料Ｐであるとすればその口数は揺るぎない fact13: この先物外国為替契約は物凄まじい ; $hypothesis$ = この先物外国為替契約は屈曲しない ; $proof$ = 
fact11 -> int1: その口数は揺るぎない; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもその口数が屈曲するならこの先物外国為替契約は有料Ｐである
事実2: もしこの貯蔵所が貶まないしそれが割れ易くないとすれば屈曲しない
事実3: 「この先物外国為替契約は揺るぎない」ということは成り立つ
事実4: その口数は有料Ｐである
事実5: 「その口数が屈曲するしまた有料Ｐだとすればあの先物外国為替契約は屈曲しない」ということは事実だ
事実6: もしもその口数が揺るぎないとしたらこの先物外国為替契約は屈曲する
事実7: この株価変動は揺るぎない
事実8: その口数は屈曲すれば「この先物外国為替契約は揺るぎない」ということは事実だ
事実9: 仮に「その口数は貶む」ということは成り立たないとすると屈曲するし揺るぎない
事実10: この脾臓は揺るぎない
事実11: その口数は有料Ｐであるしさらに揺るぎない
事実12: もしもこの先物外国為替契約が有料Ｐであるとすればその口数は揺るぎない
事実13: この先物外国為替契約は物凄まじい

仮説: この先物外国為替契約は屈曲しない
1. 事実11から、推論1: "その口数は揺るぎない"が導かれる
2. 推論1と事実6から、仮説が否定される

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