この避難小屋は習う
fact1: 仮にあの下肢痛が習うとするとこの避難小屋は習う fact2: 「その人格的価値は習わない」ということは成り立つ fact3: もし仮にこの避難小屋が起こし易くないとしたら仕事着だということはないししかも習わない fact4: もし仮に「あの服先生は習うが起こし易くない」ということは間違いであるならばあの下肢痛は習う fact5: この避難小屋は起こし易いということはない fact6: この避難小屋は仕事着だということはない fact7: もしもこの避難小屋が起こし易くないならばそれは仕事着でない
fact3 & fact5 -> int1: この避難小屋は仕事着でなくて習わない; int1 -> hypothesis;
この避難小屋は習う
$facts$ = fact1: 仮にあの下肢痛が習うとするとこの避難小屋は習う fact2: 「その人格的価値は習わない」ということは成り立つ fact3: もし仮にこの避難小屋が起こし易くないとしたら仕事着だということはないししかも習わない fact4: もし仮に「あの服先生は習うが起こし易くない」ということは間違いであるならばあの下肢痛は習う fact5: この避難小屋は起こし易いということはない fact6: この避難小屋は仕事着だということはない fact7: もしもこの避難小屋が起こし易くないならばそれは仕事着でない ; $hypothesis$ = この避難小屋は習う ; $proof$ = 
fact3 & fact5 -> int1: この避難小屋は仕事着でなくて習わない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にあの下肢痛が習うとするとこの避難小屋は習う
事実2: 「その人格的価値は習わない」ということは成り立つ
事実3: もし仮にこの避難小屋が起こし易くないとしたら仕事着だということはないししかも習わない
事実4: もし仮に「あの服先生は習うが起こし易くない」ということは間違いであるならばあの下肢痛は習う
事実5: この避難小屋は起こし易いということはない
事実6: この避難小屋は仕事着だということはない
事実7: もしもこの避難小屋が起こし易くないならばそれは仕事着でない

仮説: この避難小屋は習う
1. 事実3と事実5から、推論1: "この避難小屋は仕事着でなくて習わない"が導かれる
2. 推論1から、仮説が否定される

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