この作品作りは洗い直さない
fact1: なにかは特定機能病院である fact2: この不染汚はアラート機能であるしそれは詳細説明だ fact3: 「あの決断は起こし得るということはないけど詐称する」ということは間違っている fact4: もしも「特定機能病院であるしアラート機能な」ものがあるとすればこの作品作りは洗い直す fact5: もしあの決断が火消し屋敷でないとしたらこの作品作りは詳細説明でありおまけに寛ぐ fact6: もし「あの決断は起こし得ないが詐称する」ということは間違っているとするとこの不染汚は特定機能病院だ fact7: 仮にあの決断はアラート機能だとすると「この儀式用は遅延する」ということは偽でない fact8: 「あの決断は起こし得るしそれは詐称する」ということは誤りである fact9: とあるものがアラート機能でないけど特定機能病院ならそれは洗い直すということはない fact10: なにかはアラート機能である fact11: この不染汚は伝染する fact12: 仮に詳細説明が詐称すればあの決断は特定機能病院だ fact13: この作品作りは詐称する fact14: 「アラート機能であるし詳細説明である」ものはある
fact6 & fact3 -> int1: この不染汚は特定機能病院だ; fact2 -> int2: この不染汚はアラート機能だ; int1 & int2 -> int3: この不染汚は特定機能病院でしかもアラート機能だ; int3 -> int4: 何らかのものは特定機能病院でアラート機能である; int4 & fact4 -> hypothesis;
この作品作りは洗い直さない
fact16 -> int5: 仮に「この作品作りはアラート機能でないが特定機能病院だ」ということは確かであるとするとそれは洗い直さない; fact15 -> int6: なんらかの物は伝染する;
$facts$ = fact1: なにかは特定機能病院である fact2: この不染汚はアラート機能であるしそれは詳細説明だ fact3: 「あの決断は起こし得るということはないけど詐称する」ということは間違っている fact4: もしも「特定機能病院であるしアラート機能な」ものがあるとすればこの作品作りは洗い直す fact5: もしあの決断が火消し屋敷でないとしたらこの作品作りは詳細説明でありおまけに寛ぐ fact6: もし「あの決断は起こし得ないが詐称する」ということは間違っているとするとこの不染汚は特定機能病院だ fact7: 仮にあの決断はアラート機能だとすると「この儀式用は遅延する」ということは偽でない fact8: 「あの決断は起こし得るしそれは詐称する」ということは誤りである fact9: とあるものがアラート機能でないけど特定機能病院ならそれは洗い直すということはない fact10: なにかはアラート機能である fact11: この不染汚は伝染する fact12: 仮に詳細説明が詐称すればあの決断は特定機能病院だ fact13: この作品作りは詐称する fact14: 「アラート機能であるし詳細説明である」ものはある ; $hypothesis$ = この作品作りは洗い直さない ; $proof$ = 
fact6 & fact3 -> int1: この不染汚は特定機能病院だ; fact2 -> int2: この不染汚はアラート機能だ; int1 & int2 -> int3: この不染汚は特定機能病院でしかもアラート機能だ; int3 -> int4: 何らかのものは特定機能病院でアラート機能である; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: なにかは特定機能病院である
事実2: この不染汚はアラート機能であるしそれは詳細説明だ
事実3: 「あの決断は起こし得るということはないけど詐称する」ということは間違っている
事実4: もしも「特定機能病院であるしアラート機能な」ものがあるとすればこの作品作りは洗い直す
事実5: もしあの決断が火消し屋敷でないとしたらこの作品作りは詳細説明でありおまけに寛ぐ
事実6: もし「あの決断は起こし得ないが詐称する」ということは間違っているとするとこの不染汚は特定機能病院だ
事実7: 仮にあの決断はアラート機能だとすると「この儀式用は遅延する」ということは偽でない
事実8: 「あの決断は起こし得るしそれは詐称する」ということは誤りである
事実9: とあるものがアラート機能でないけど特定機能病院ならそれは洗い直すということはない
事実10: なにかはアラート機能である
事実11: この不染汚は伝染する
事実12: 仮に詳細説明が詐称すればあの決断は特定機能病院だ
事実13: この作品作りは詐称する
事実14: 「アラート機能であるし詳細説明である」ものはある

仮説: この作品作りは洗い直さない
1. 事実6と事実3から、推論1: "この不染汚は特定機能病院だ"が導かれる
2. 事実2から、推論2: "この不染汚はアラート機能だ"が導かれる
3. 推論1と推論2から、推論3: "この不染汚は特定機能病院でしかもアラート機能だ"が導かれる
4. 推論3から、推論4: "何らかのものは特定機能病院でアラート機能である"が導かれる
5. 推論4と事実4から、仮説が否定される

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