このキナーゼは細工する
fact1: あのストラクタプル素が突き上がるが粘り強くないとすればあの宇宙生命は粘り強くない fact2: もし仮にあのストラクタプル素が粘り強いならばあの宇宙生命は同棲しない fact3: 「このキナーゼは憂い」ということは成り立つ fact4: もし「あのストラクタプル素は粘り強くなくて同棲しない」ということは成り立たないとするとあの宇宙生命は同棲するということはない fact5: あのストラクタプル素は素人っぽくない fact6: 「あのストラクタプル素は粘り強くなくて加えて同棲しない」ということは間違っている fact7: もしこのキナーゼが粘らないならばそれは刻印するしそれは言論統制だ fact8: もしもこのキナーゼが憂いならば言論統制だ fact9: このキナーゼは鎮圧しない fact10: あの補訂が利くとすればこの第二警察学校は利く fact11: あの宇宙生命が粘り強いということはないとするとそれは粘るし加えて同棲する fact12: もし仮にあるものが刻印しないならそれは期末時換算法でかつそれは利く fact13: もしも「なにかは同棲しない」ということは成り立つならそれは粘るしその上鎮圧する fact14: 「クラスター分析な」物はある fact15: もし仮にこのキナーゼが細工するしそれに言論統制だとするとこの第二警察学校は利かない fact16: もし仮にあの宇宙生命は粘るとすると「この調は鎮圧しない一方でそれは刻印する」ということは嘘だ fact17: この第二警察学校は利かないなら「あの補訂は刻印するけれど期末時換算法でない」ということは本当でない fact18: 仮にこの第二警察学校が利くなら言論統制だ fact19: この第二警察学校は同棲しない fact20: もしもあの宇宙生命が同棲しないとしたらこの調は同棲しない fact21: もし「「刻印するけど期末時換算法でない」ということは誤りな」物があればこの調は粘らない fact22: もしもあの隠れチャネルが架空預金ならあのストラクタプル素は突き上がるけれど粘り強くない fact23: あの補訂は言論統制でない fact24: 「「憂いけど期末時換算法でない」ということは成り立つということはない」ものはある
fact8 & fact3 -> int1: このキナーゼは言論統制である; void -> assump1: 以下のように仮定する。このキナーゼは細工する; int1 & assump1 -> int2: このキナーゼは細工するし言論統制である; int2 & fact15 -> int3: 「この第二警察学校は利かない」ということは事実である; int3 & fact17 -> int4: 「あの補訂は刻印するけれど期末時換算法でない」ということは事実と異なる; int4 -> int5: 「「「刻印するし期末時換算法だということはない」ということは真実だ」ということは成り立たない」物はある; int5 & fact21 -> int6: この調は粘らない; fact13 -> int7: 仮にこの調が同棲しないならばそれは粘るしそれにそれは鎮圧する; fact4 & fact6 -> int8: あの宇宙生命は同棲しない; fact20 & int8 -> int9: この調は同棲しない; int7 & int9 -> int10: この調は粘るししかも鎮圧する; int10 -> int11: この調は粘る; int6 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
このキナーゼは細工する
fact30 -> int13: あの補訂が刻印しないとすればそれは期末時換算法だしまた利く;
$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: 「「憂いけど期末時換算法でない」ということは成り立つということはない」ものはある ; $hypothesis$ = このキナーゼは細工する ; $proof$ = 
fact8 & fact3 -> int1: このキナーゼは言論統制である; void -> assump1: 以下のように仮定する。このキナーゼは細工する; int1 & assump1 -> int2: このキナーゼは細工するし言論統制である; int2 & fact15 -> int3: 「この第二警察学校は利かない」ということは事実である; int3 & fact17 -> int4: 「あの補訂は刻印するけれど期末時換算法でない」ということは事実と異なる; int4 -> int5: 「「「刻印するし期末時換算法だということはない」ということは真実だ」ということは成り立たない」物はある; int5 & fact21 -> int6: この調は粘らない; fact13 -> int7: 仮にこの調が同棲しないならばそれは粘るしそれにそれは鎮圧する; fact4 & fact6 -> int8: あの宇宙生命は同棲しない; fact20 & int8 -> int9: この調は同棲しない; int7 & int9 -> int10: この調は粘るししかも鎮圧する; int10 -> int11: この調は粘る; int6 & int11 -> int12: これは矛盾である; [assump1] & int12 -> 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: 「「憂いけど期末時換算法でない」ということは成り立つということはない」ものはある

仮説: このキナーゼは細工する
1. 事実8と事実3から、推論1: "このキナーゼは言論統制である"が導かれる
2. 仮定1: 以下のように仮定する。このキナーゼは細工する
3. 推論1と仮定1から、推論2: "このキナーゼは細工するし言論統制である"が導かれる
4. 推論2と事実15から、推論3: "「この第二警察学校は利かない」ということは事実である"が導かれる
5. 推論3と事実17から、推論4: "「あの補訂は刻印するけれど期末時換算法でない」ということは事実と異なる"が導かれる
6. 推論4から、推論5: "「「「刻印するし期末時換算法だということはない」ということは真実だ」ということは成り立たない」物はある"が導かれる
7. 推論5と事実21から、推論6: "この調は粘らない"が導かれる
8. 事実13から、推論7: "仮にこの調が同棲しないならばそれは粘るしそれにそれは鎮圧する"が導かれる
9. 事実4と事実6から、推論8: "あの宇宙生命は同棲しない"が導かれる
10. 事実20と推論8から、推論9: "この調は同棲しない"が導かれる
11. 推論7と推論9から、推論10: "この調は粘るししかも鎮圧する"が導かれる
12. 推論10から、推論11: "この調は粘る"が導かれる
13. 推論6と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が否定される

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