「この追従行動は拠点だけれど使い難いということはない」ということは間違っている
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: 仮にこの追従行動が厳しかないしまたそれが拠点でないならばあの糖転移酵素は奄美群島振興開発特別措置法でない
fact12 & fact17 -> int1: その糖転移酵素は厳しい; int1 & fact9 -> int2: この中央法規出版は一欠片でないししかも剥離し難くない; int2 & fact21 -> int3: この大収穫はＣＨＣでない; int3 & fact7 -> int4: 「その首尾は三冠でないしそれにＣＨＣでない」ということは成り立たない; int4 & fact2 -> int5: この追従行動は奄美群島振興開発特別措置法だ; fact19 -> int6: もし仮にこの追従行動は奄美群島振興開発特別措置法であるとするとそれは拠点であるがしかし使い難くない; int5 & int6 -> hypothesis;
「この追従行動は拠点であるけど使い難くない」ということは偽だ
fact26 -> int7: もし仮にこの追従行動は一欠片であるならば「拠点だが使い難くない」ということは本当であるということはない;
$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$ = 
fact12 & fact17 -> int1: その糖転移酵素は厳しい; int1 & fact9 -> int2: この中央法規出版は一欠片でないししかも剥離し難くない; int2 & fact21 -> int3: この大収穫はＣＨＣでない; int3 & fact7 -> int4: 「その首尾は三冠でないしそれにＣＨＣでない」ということは成り立たない; int4 & fact2 -> int5: この追従行動は奄美群島振興開発特別措置法だ; fact19 -> int6: もし仮にこの追従行動は奄美群島振興開発特別措置法であるとするとそれは拠点であるがしかし使い難くない; int5 & int6 -> 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. 事実12と事実17から、推論1: "その糖転移酵素は厳しい"が導かれる
2. 推論1と事実9から、推論2: "この中央法規出版は一欠片でないししかも剥離し難くない"が導かれる
3. 推論2と事実21から、推論3: "この大収穫はＣＨＣでない"が導かれる
4. 推論3と事実7から、推論4: "「その首尾は三冠でないしそれにＣＨＣでない」ということは成り立たない"が導かれる
5. 推論4と事実2から、推論5: "この追従行動は奄美群島振興開発特別措置法だ"が導かれる
6. 事実19から、推論6: "もし仮にこの追従行動は奄美群島振興開発特別措置法であるとするとそれは拠点であるがしかし使い難くない"が導かれる
7. 推論5と推論6から、仮説が否定される

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