あの従業員規模は疎い
fact1: もし仮にあのバテレン追放がけばけばしくないとすればそれは切なくてかつ分解され難い fact2: もし仮にその三田尻が情報部門でないかあるいはそれが組合員企業であるか両方ならばあの木造建築は情報部門でない fact3: もし仮にその大空襲は情報部門でないけれど切ないとすれば組合員企業でない fact4: 仮に何らかの物が診療報酬点数表であるかもしくは楡家ならその大空襲は貧しない fact5: もし仮にあのイースタンが本管でないしまたグラフィックディスプレイでないならそれは楡家だ fact6: あのイースタンは本管でないしそれはグラフィックディスプレイでない fact7: 仮に「あのイースタンは疎くないけれど診療報酬点数表だ」ということは誤りならあの従業員規模は疎くない fact8: 貧しないものは情報部門でないが切ない fact9: あの木造建築が情報部門でないとしたらその大空襲は楡家で貧し fact10: もしも「その大空襲はけばけばしくないがしかし分解され難い」ということは成り立たないならあの従業員規模は疎い fact11: もしも「その大空襲は組合員企業でない」ということは成り立つとしたら「けばけばしくないしそれにそれは分解され難い」ということは事実と異なる fact12: もしもその大空襲は楡家であるとしたら「あのイースタンは疎くないが診療報酬点数表だ」ということは誤りである
fact5 & fact6 -> int1: あのイースタンは楡家である; int1 -> int2: あのイースタンは診療報酬点数表であるかもしくはそれは楡家である; int2 -> int3: 何かは診療報酬点数表であるか楡家である; int3 & fact4 -> int4: その大空襲は貧しない; fact8 -> int5: もしも「その大空襲は貧しということはない」ということは嘘でないとするとそれは情報部門でなくて更にそれは切ない; int4 & int5 -> int6: その大空襲は情報部門でないけれどそれは切ない; int6 & fact3 -> int7: その大空襲は組合員企業でない; int7 & fact11 -> int8: 「「その大空襲はけばけばしくないけど分解され難い」ということは正しくない」ということは間違っていない; int8 & fact10 -> hypothesis;
あの従業員規模は疎くない
$facts$ = fact1: もし仮にあのバテレン追放がけばけばしくないとすればそれは切なくてかつ分解され難い fact2: もし仮にその三田尻が情報部門でないかあるいはそれが組合員企業であるか両方ならばあの木造建築は情報部門でない fact3: もし仮にその大空襲は情報部門でないけれど切ないとすれば組合員企業でない fact4: 仮に何らかの物が診療報酬点数表であるかもしくは楡家ならその大空襲は貧しない fact5: もし仮にあのイースタンが本管でないしまたグラフィックディスプレイでないならそれは楡家だ fact6: あのイースタンは本管でないしそれはグラフィックディスプレイでない fact7: 仮に「あのイースタンは疎くないけれど診療報酬点数表だ」ということは誤りならあの従業員規模は疎くない fact8: 貧しないものは情報部門でないが切ない fact9: あの木造建築が情報部門でないとしたらその大空襲は楡家で貧し fact10: もしも「その大空襲はけばけばしくないがしかし分解され難い」ということは成り立たないならあの従業員規模は疎い fact11: もしも「その大空襲は組合員企業でない」ということは成り立つとしたら「けばけばしくないしそれにそれは分解され難い」ということは事実と異なる fact12: もしもその大空襲は楡家であるとしたら「あのイースタンは疎くないが診療報酬点数表だ」ということは誤りである ; $hypothesis$ = あの従業員規模は疎い ; $proof$ = 
fact5 & fact6 -> int1: あのイースタンは楡家である; int1 -> int2: あのイースタンは診療報酬点数表であるかもしくはそれは楡家である; int2 -> int3: 何かは診療報酬点数表であるか楡家である; int3 & fact4 -> int4: その大空襲は貧しない; fact8 -> int5: もしも「その大空襲は貧しということはない」ということは嘘でないとするとそれは情報部門でなくて更にそれは切ない; int4 & int5 -> int6: その大空襲は情報部門でないけれどそれは切ない; int6 & fact3 -> int7: その大空襲は組合員企業でない; int7 & fact11 -> int8: 「「その大空襲はけばけばしくないけど分解され難い」ということは正しくない」ということは間違っていない; int8 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にあのバテレン追放がけばけばしくないとすればそれは切なくてかつ分解され難い
事実2: もし仮にその三田尻が情報部門でないかあるいはそれが組合員企業であるか両方ならばあの木造建築は情報部門でない
事実3: もし仮にその大空襲は情報部門でないけれど切ないとすれば組合員企業でない
事実4: 仮に何らかの物が診療報酬点数表であるかもしくは楡家ならその大空襲は貧しない
事実5: もし仮にあのイースタンが本管でないしまたグラフィックディスプレイでないならそれは楡家だ
事実6: あのイースタンは本管でないしそれはグラフィックディスプレイでない
事実7: 仮に「あのイースタンは疎くないけれど診療報酬点数表だ」ということは誤りならあの従業員規模は疎くない
事実8: 貧しないものは情報部門でないが切ない
事実9: あの木造建築が情報部門でないとしたらその大空襲は楡家で貧し
事実10: もしも「その大空襲はけばけばしくないがしかし分解され難い」ということは成り立たないならあの従業員規模は疎い
事実11: もしも「その大空襲は組合員企業でない」ということは成り立つとしたら「けばけばしくないしそれにそれは分解され難い」ということは事実と異なる
事実12: もしもその大空襲は楡家であるとしたら「あのイースタンは疎くないが診療報酬点数表だ」ということは誤りである

仮説: あの従業員規模は疎い
1. 事実5と事実6から、推論1: "あのイースタンは楡家である"が導かれる
2. 推論1から、推論2: "あのイースタンは診療報酬点数表であるかもしくはそれは楡家である"が導かれる
3. 推論2から、推論3: "何かは診療報酬点数表であるか楡家である"が導かれる
4. 推論3と事実4から、推論4: "その大空襲は貧しない"が導かれる
5. 事実8から、推論5: "もしも「その大空襲は貧しということはない」ということは嘘でないとするとそれは情報部門でなくて更にそれは切ない"が導かれる
6. 推論4と推論5から、推論6: "その大空襲は情報部門でないけれどそれは切ない"が導かれる
7. 推論6と事実3から、推論7: "その大空襲は組合員企業でない"が導かれる
8. 推論7と事実11から、推論8: "「「その大空襲はけばけばしくないけど分解され難い」ということは正しくない」ということは間違っていない"が導かれる
9. 推論8と事実10から、仮説が導かれる

よって、仮説が証明されました。