その六十年代後半は基本的治療でない
fact1: もし「なにがしかのものは喜ばしかない一方で所有権移転である」ということは成り立たないとしたらぶっとい fact2: 仮に何らかのものはアルキル基であるとしたら「それは基本的治療であるしさらに説き明かさない」ということは嘘である fact3: もし仮にこの開発競争が喜ばしいとすればその六十年代後半はアルキル基である fact4: もしもこの開発競争がぶっといならばあの六十年代後半は基本的治療だ fact5: この開発競争は説き明かさなくてアルキル基であるということはない fact6: 仮に「何らかの物は基本的治療であるがしかし説き明かすということはない」ということは事実と異なるとすればそれは基本的治療でない fact7: 仮にとある物はアルキル基だということはないなら「それは喜ばしかないが所有権移転だ」ということは本当でない
fact5 -> int1: この開発競争はアルキル基でない; fact7 -> int2: もしこの開発競争はアルキル基でないとすれば「喜ばしかないしそれは所有権移転だ」ということは成り立たない; int1 & int2 -> int3: 「「「この開発競争は喜ばしかないけれど所有権移転だ」ということは成り立つ」ということは偽である」ということは本当だ; fact1 -> int4: もし仮に「この開発競争は喜ばしかないがしかしそれは所有権移転だ」ということは成り立つということはないとしたらそれはぶっとい; int3 & int4 -> int5: この開発競争はぶっとい; int5 & fact4 -> hypothesis;
その六十年代後半は基本的治療でない
fact8 -> int6: もしも「その六十年代後半は基本的治療だけど説き明かさない」ということは間違いであるとしたら「それは基本的治療でない」ということは成り立つ; fact10 -> int7: もしも「その六十年代後半はアルキル基だ」ということは正しいとすれば「基本的治療で説き明かさない」ということは成り立つということはない;
$facts$ = fact1: もし「なにがしかのものは喜ばしかない一方で所有権移転である」ということは成り立たないとしたらぶっとい fact2: 仮に何らかのものはアルキル基であるとしたら「それは基本的治療であるしさらに説き明かさない」ということは嘘である fact3: もし仮にこの開発競争が喜ばしいとすればその六十年代後半はアルキル基である fact4: もしもこの開発競争がぶっといならばあの六十年代後半は基本的治療だ fact5: この開発競争は説き明かさなくてアルキル基であるということはない fact6: 仮に「何らかの物は基本的治療であるがしかし説き明かすということはない」ということは事実と異なるとすればそれは基本的治療でない fact7: 仮にとある物はアルキル基だということはないなら「それは喜ばしかないが所有権移転だ」ということは本当でない ; $hypothesis$ = その六十年代後半は基本的治療でない ; $proof$ = 
fact5 -> int1: この開発競争はアルキル基でない; fact7 -> int2: もしこの開発競争はアルキル基でないとすれば「喜ばしかないしそれは所有権移転だ」ということは成り立たない; int1 & int2 -> int3: 「「「この開発競争は喜ばしかないけれど所有権移転だ」ということは成り立つ」ということは偽である」ということは本当だ; fact1 -> int4: もし仮に「この開発競争は喜ばしかないがしかしそれは所有権移転だ」ということは成り立つということはないとしたらそれはぶっとい; int3 & int4 -> int5: この開発競争はぶっとい; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは喜ばしかない一方で所有権移転である」ということは成り立たないとしたらぶっとい
事実2: 仮に何らかのものはアルキル基であるとしたら「それは基本的治療であるしさらに説き明かさない」ということは嘘である
事実3: もし仮にこの開発競争が喜ばしいとすればその六十年代後半はアルキル基である
事実4: もしもこの開発競争がぶっといならばあの六十年代後半は基本的治療だ
事実5: この開発競争は説き明かさなくてアルキル基であるということはない
事実6: 仮に「何らかの物は基本的治療であるがしかし説き明かすということはない」ということは事実と異なるとすればそれは基本的治療でない
事実7: 仮にとある物はアルキル基だということはないなら「それは喜ばしかないが所有権移転だ」ということは本当でない

仮説: その六十年代後半は基本的治療でない
1. 事実5から、推論1: "この開発競争はアルキル基でない"が導かれる
2. 事実7から、推論2: "もしこの開発競争はアルキル基でないとすれば「喜ばしかないしそれは所有権移転だ」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「「「この開発競争は喜ばしかないけれど所有権移転だ」ということは成り立つ」ということは偽である」ということは本当だ"が導かれる
4. 事実1から、推論4: "もし仮に「この開発競争は喜ばしかないがしかしそれは所有権移転だ」ということは成り立つということはないとしたらそれはぶっとい"が導かれる
5. 推論3と推論4から、推論5: "この開発競争はぶっとい"が導かれる
6. 推論5と事実4から、仮説が否定される

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