その建具類等は理屈っぽい
fact1: 仮にその建具類等がＯＢ臭いとしたら詳しい fact2: あの童女がショウでないかもしくは整備出来るか両方であるとすればその建具類等は理屈っぽくない fact3: その建具類等は入館だ fact4: もし仮にあの童女は入館であるとすると「皮膚移植である」ということは成り立つ fact5: ショウは理屈っぽいということはないか整備出来るかどちらもだ fact6: あの童女は整備出来るということはないか理屈っぽいかまたはどちらもだ fact7: あの童女は入館だ fact8: その建具類等は皮膚移植だ fact9: あの童女は混乱し始める fact10: 皮膚移植はショウでないかまたは整備出来るかもしくはどちらもである fact11: 皮膚移植はショウであるかもしくは整備出来るかもしくは両方ともである fact12: なんらかのものが混乱し始めるし加えて許し難しならば整備出来るということはない fact13: あの童女が入館でないならばその建具類等は理屈っぽい fact14: 仮にあの童女は皮膚移植であるならショウであるかまたは整備出来る fact15: もしもあの童女がショウでないとしたらその建具類等は理屈っぽくない fact16: その建具類等がショウならばそれは調和し難い fact17: あの一校時は皮膚移植である fact18: あの童女はショウであるかあるいは整備出来る
fact4 & fact7 -> int1: 「あの童女は皮膚移植だ」ということは成り立つ; fact10 -> int2: もし仮にあの童女は皮膚移植であるならばショウだということはないかまたは整備出来るかもしくは両方ともである; int1 & int2 -> int3: あの童女はショウでないかそれは整備出来る; int3 & fact2 -> hypothesis;
fact4 & fact7 -> int1: {B}{a}; fact10 -> int2: {B}{a} -> (¬{C}{a} v {D}{a}); int1 & int2 -> int3: (¬{C}{a} v {D}{a}); int3 & fact2 -> hypothesis;
その建具類等は理屈っぽい
fact21 -> int4: あの童女が混乱し始めるしかつ許し難しならそれは整備出来るということはない;
$facts$ = fact1: 仮にその建具類等がＯＢ臭いとしたら詳しい fact2: あの童女がショウでないかもしくは整備出来るか両方であるとすればその建具類等は理屈っぽくない fact3: その建具類等は入館だ fact4: もし仮にあの童女は入館であるとすると「皮膚移植である」ということは成り立つ fact5: ショウは理屈っぽいということはないか整備出来るかどちらもだ fact6: あの童女は整備出来るということはないか理屈っぽいかまたはどちらもだ fact7: あの童女は入館だ fact8: その建具類等は皮膚移植だ fact9: あの童女は混乱し始める fact10: 皮膚移植はショウでないかまたは整備出来るかもしくはどちらもである fact11: 皮膚移植はショウであるかもしくは整備出来るかもしくは両方ともである fact12: なんらかのものが混乱し始めるし加えて許し難しならば整備出来るということはない fact13: あの童女が入館でないならばその建具類等は理屈っぽい fact14: 仮にあの童女は皮膚移植であるならショウであるかまたは整備出来る fact15: もしもあの童女がショウでないとしたらその建具類等は理屈っぽくない fact16: その建具類等がショウならばそれは調和し難い fact17: あの一校時は皮膚移植である fact18: あの童女はショウであるかあるいは整備出来る ; $hypothesis$ = その建具類等は理屈っぽい ; $proof$ = 
fact4 & fact7 -> int1: 「あの童女は皮膚移植だ」ということは成り立つ; fact10 -> int2: もし仮にあの童女は皮膚移植であるならばショウだということはないかまたは整備出来るかもしくは両方ともである; int1 & int2 -> int3: あの童女はショウでないかそれは整備出来る; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にその建具類等がＯＢ臭いとしたら詳しい
事実2: あの童女がショウでないかもしくは整備出来るか両方であるとすればその建具類等は理屈っぽくない
事実3: その建具類等は入館だ
事実4: もし仮にあの童女は入館であるとすると「皮膚移植である」ということは成り立つ
事実5: ショウは理屈っぽいということはないか整備出来るかどちらもだ
事実6: あの童女は整備出来るということはないか理屈っぽいかまたはどちらもだ
事実7: あの童女は入館だ
事実8: その建具類等は皮膚移植だ
事実9: あの童女は混乱し始める
事実10: 皮膚移植はショウでないかまたは整備出来るかもしくはどちらもである
事実11: 皮膚移植はショウであるかもしくは整備出来るかもしくは両方ともである
事実12: なんらかのものが混乱し始めるし加えて許し難しならば整備出来るということはない
事実13: あの童女が入館でないならばその建具類等は理屈っぽい
事実14: 仮にあの童女は皮膚移植であるならショウであるかまたは整備出来る
事実15: もしもあの童女がショウでないとしたらその建具類等は理屈っぽくない
事実16: その建具類等がショウならばそれは調和し難い
事実17: あの一校時は皮膚移植である
事実18: あの童女はショウであるかあるいは整備出来る

仮説: その建具類等は理屈っぽい
1. 事実4と事実7から、推論1: "「あの童女は皮膚移植だ」ということは成り立つ"が導かれる
2. 事実10から、推論2: "もし仮にあの童女は皮膚移植であるならばショウだということはないかまたは整備出来るかもしくは両方ともである"が導かれる
3. 推論1と推論2から、推論3: "あの童女はショウでないかそれは整備出来る"が導かれる
4. 推論3と事実2から、仮説が否定される

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