「あの一般病棟は雰囲気作りだということはなくて大人しない」ということは間違っている
fact1: 誇らしくないものは雰囲気作りでないしまた大人しということはない fact2: あの一般病棟は大人しない fact3: 地衣類は誇らしくない fact4: もしも何らかのものが闘争するならそれは雰囲気作りでない fact5: あの一般病棟は決め難いししかも地衣類である
fact5 -> int1: あの一般病棟は地衣類である; fact3 -> int2: もしもあの一般病棟は地衣類であるならばそれは誇らしくない; int1 & int2 -> int3: あの一般病棟は誇らしくない; fact1 -> int4: 仮にあの一般病棟が誇らしくないならば雰囲気作りでないしさらに大人しない; int3 & int4 -> hypothesis;
fact5 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact1 -> int4: ¬{C}{a} -> (¬{D}{a} & ¬{E}{a}); int3 & int4 -> hypothesis;
もしもあの玄関が闘争すればそれは雰囲気作りでない
fact6 -> hypothesis;
$facts$ = fact1: 誇らしくないものは雰囲気作りでないしまた大人しということはない fact2: あの一般病棟は大人しない fact3: 地衣類は誇らしくない fact4: もしも何らかのものが闘争するならそれは雰囲気作りでない fact5: あの一般病棟は決め難いししかも地衣類である ; $hypothesis$ = 「あの一般病棟は雰囲気作りだということはなくて大人しない」ということは間違っている ; $proof$ = 
fact5 -> int1: あの一般病棟は地衣類である; fact3 -> int2: もしもあの一般病棟は地衣類であるならばそれは誇らしくない; int1 & int2 -> int3: あの一般病棟は誇らしくない; fact1 -> int4: 仮にあの一般病棟が誇らしくないならば雰囲気作りでないしさらに大人しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 誇らしくないものは雰囲気作りでないしまた大人しということはない
事実2: あの一般病棟は大人しない
事実3: 地衣類は誇らしくない
事実4: もしも何らかのものが闘争するならそれは雰囲気作りでない
事実5: あの一般病棟は決め難いししかも地衣類である

仮説: 「あの一般病棟は雰囲気作りだということはなくて大人しない」ということは間違っている
1. 事実5から、推論1: "あの一般病棟は地衣類である"が導かれる
2. 事実3から、推論2: "もしもあの一般病棟は地衣類であるならばそれは誇らしくない"が導かれる
3. 推論1と推論2から、推論3: "あの一般病棟は誇らしくない"が導かれる
4. 事実1から、推論4: "仮にあの一般病棟が誇らしくないならば雰囲気作りでないしさらに大人しない"が導かれる
5. 推論3と推論4から、仮説が否定される

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