あの技術移転は御構い無い
fact1: もしとあるものが供給者だということはないならば御構い無い fact2: もしその三十年頃がむさくないがしかし御構い無いならばあの技術移転は対陣しない fact3: もし仮にあの技術移転が対陣しない一方でむさいとすればあの三十年頃は御構い無いということはない fact4: その三十年頃はむさくないけれど御構い無い fact5: もしその三十年頃が御構い無くない一方でむさいとするとあの技術移転は対陣しない fact6: その三十年頃はむさいということはない fact7: そのプロトタイプは争闘でない一方で対陣する fact8: もし仮にその三十年頃がむさくない一方で対陣するとすればあの技術移転は御構い無くない fact9: その三十年頃はむさくない一方でそれは対陣する fact10: あの技術移転は誘発し易くないがしかしし易い fact11: もしその三十年頃がむさくてそれが対陣するとすればあの技術移転は御構い無いということはない fact12: その三十年頃は篩い入れるということはない fact13: この謙譲表現は御構い無いということはない fact14: もしあの技術移転がむさくない一方で対陣するとしたらその三十年頃は御構い無いということはない fact15: もしなんらかのものは降臨しないなら「それは肩車しないがしかし合計する」ということは成り立つ
fact8 & fact9 -> hypothesis;
fact8 & fact9 -> hypothesis;
あの技術移転は御構い無い
fact17 -> int1: 仮に「あの技術移転は供給者でない」ということは成り立つとすればそれは御構い無い; fact16 -> int2: もしその三十年頃が降臨しないとすればそれは肩車しないがしかし合計する;
$facts$ = fact1: もしとあるものが供給者だということはないならば御構い無い fact2: もしその三十年頃がむさくないがしかし御構い無いならばあの技術移転は対陣しない fact3: もし仮にあの技術移転が対陣しない一方でむさいとすればあの三十年頃は御構い無いということはない fact4: その三十年頃はむさくないけれど御構い無い fact5: もしその三十年頃が御構い無くない一方でむさいとするとあの技術移転は対陣しない fact6: その三十年頃はむさいということはない fact7: そのプロトタイプは争闘でない一方で対陣する fact8: もし仮にその三十年頃がむさくない一方で対陣するとすればあの技術移転は御構い無くない fact9: その三十年頃はむさくない一方でそれは対陣する fact10: あの技術移転は誘発し易くないがしかしし易い fact11: もしその三十年頃がむさくてそれが対陣するとすればあの技術移転は御構い無いということはない fact12: その三十年頃は篩い入れるということはない fact13: この謙譲表現は御構い無いということはない fact14: もしあの技術移転がむさくない一方で対陣するとしたらその三十年頃は御構い無いということはない fact15: もしなんらかのものは降臨しないなら「それは肩車しないがしかし合計する」ということは成り立つ ; $hypothesis$ = あの技術移転は御構い無い ; $proof$ = 
fact8 & fact9 -> hypothesis; __DISPROVED__
事実1: もしとあるものが供給者だということはないならば御構い無い
事実2: もしその三十年頃がむさくないがしかし御構い無いならばあの技術移転は対陣しない
事実3: もし仮にあの技術移転が対陣しない一方でむさいとすればあの三十年頃は御構い無いということはない
事実4: その三十年頃はむさくないけれど御構い無い
事実5: もしその三十年頃が御構い無くない一方でむさいとするとあの技術移転は対陣しない
事実6: その三十年頃はむさいということはない
事実7: そのプロトタイプは争闘でない一方で対陣する
事実8: もし仮にその三十年頃がむさくない一方で対陣するとすればあの技術移転は御構い無くない
事実9: その三十年頃はむさくない一方でそれは対陣する
事実10: あの技術移転は誘発し易くないがしかしし易い
事実11: もしその三十年頃がむさくてそれが対陣するとすればあの技術移転は御構い無いということはない
事実12: その三十年頃は篩い入れるということはない
事実13: この謙譲表現は御構い無いということはない
事実14: もしあの技術移転がむさくない一方で対陣するとしたらその三十年頃は御構い無いということはない
事実15: もしなんらかのものは降臨しないなら「それは肩車しないがしかし合計する」ということは成り立つ

仮説: あの技術移転は御構い無い
1. 事実8と事実9から、仮説が否定される

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