この仕事探しは窺い知る
fact1: もしもあの外国軍が感電死傷事故でないがそれが引っ括めるならそれは会戦だ fact2: もしも「「とある物は面食らうが窺い知らない」ということは真実だ」ということは間違いであるとすると会戦でない fact3: 「あの外国軍は感電死傷事故であるということはないけど引っ括める」ということは事実と異ならない fact4: もしもあの外国軍は生じ易いということはないなら「あの三箇月先は面食らわない」ということは確かである fact5: もし仮にあの三箇月先が面食らうということはないとするとこの仕事探しは窺い知らない fact6: もし仮にあの外国軍が突破しないとするとあの三箇月先は面食らわない fact7: あの三箇月先が会戦でないならばこの養斑はホーロータンクであるということはないが御中藹である fact8: もしも何かは会戦であるとするとそれは突破しないかまたは生じ易くないかあるいは両方である
fact8 -> int1: もしもあの外国軍が会戦であるとするとそれは突破しないかもしくはそれは生じ易くないかどちらもである; fact3 & fact1 -> int2: あの外国軍は会戦である; int1 & int2 -> int3: あの外国軍は突破しないかまたは生じ易くないか両方だ; int3 & fact6 & fact4 -> int4: あの三箇月先は面食らうということはない; int4 & fact5 -> hypothesis;
この養斑はホーロータンクでない一方で御中藹だ
fact10 -> int5: もし仮に「あの三箇月先は面食らうが窺い知らない」ということは成り立つということはないとすればそれは会戦でない;
$facts$ = fact1: もしもあの外国軍が感電死傷事故でないがそれが引っ括めるならそれは会戦だ fact2: もしも「「とある物は面食らうが窺い知らない」ということは真実だ」ということは間違いであるとすると会戦でない fact3: 「あの外国軍は感電死傷事故であるということはないけど引っ括める」ということは事実と異ならない fact4: もしもあの外国軍は生じ易いということはないなら「あの三箇月先は面食らわない」ということは確かである fact5: もし仮にあの三箇月先が面食らうということはないとするとこの仕事探しは窺い知らない fact6: もし仮にあの外国軍が突破しないとするとあの三箇月先は面食らわない fact7: あの三箇月先が会戦でないならばこの養斑はホーロータンクであるということはないが御中藹である fact8: もしも何かは会戦であるとするとそれは突破しないかまたは生じ易くないかあるいは両方である ; $hypothesis$ = この仕事探しは窺い知る ; $proof$ = 
fact8 -> int1: もしもあの外国軍が会戦であるとするとそれは突破しないかもしくはそれは生じ易くないかどちらもである; fact3 & fact1 -> int2: あの外国軍は会戦である; int1 & int2 -> int3: あの外国軍は突破しないかまたは生じ易くないか両方だ; int3 & fact6 & fact4 -> int4: あの三箇月先は面食らうということはない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあの外国軍が感電死傷事故でないがそれが引っ括めるならそれは会戦だ
事実2: もしも「「とある物は面食らうが窺い知らない」ということは真実だ」ということは間違いであるとすると会戦でない
事実3: 「あの外国軍は感電死傷事故であるということはないけど引っ括める」ということは事実と異ならない
事実4: もしもあの外国軍は生じ易いということはないなら「あの三箇月先は面食らわない」ということは確かである
事実5: もし仮にあの三箇月先が面食らうということはないとするとこの仕事探しは窺い知らない
事実6: もし仮にあの外国軍が突破しないとするとあの三箇月先は面食らわない
事実7: あの三箇月先が会戦でないならばこの養斑はホーロータンクであるということはないが御中藹である
事実8: もしも何かは会戦であるとするとそれは突破しないかまたは生じ易くないかあるいは両方である

仮説: この仕事探しは窺い知る
1. 事実8から、推論1: "もしもあの外国軍が会戦であるとするとそれは突破しないかもしくはそれは生じ易くないかどちらもである"が導かれる
2. 事実3と事実1から、推論2: "あの外国軍は会戦である"が導かれる
3. 推論1と推論2から、推論3: "あの外国軍は突破しないかまたは生じ易くないか両方だ"が導かれる
4. 推論3と事実6と事実4から、推論4: "あの三箇月先は面食らうということはない"が導かれる
5. 推論4と事実5から、仮説が否定される

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