その作戦会議は住所録だ
fact1: その綴れ織りは腋毛でない fact2: もし仮に「「極限でないしかつ他愛無くない」ということは成り立たない」ものがあるならあのタコグラフは諸部族でない fact3: もしこの跡付け可能性審査が二十一世紀前半であるならそのＮＰは暗い fact4: もし仮に「窓越しでなくてその上ｖＲＥＦである」ものがあるとすればその急性型は二十一世紀前半だ fact5: その作戦会議は自己都合退職する fact6: 仮にこの跡付け可能性審査が暗いならそのＮＰは暗い fact7: もしも「あの作動は区分すらないかあるいはそれは御伝えするかもしくはどちらもだ」ということは間違いであるとするとその作戦会議は住所録だ fact8: あの作動は愛しない fact9: もしその綴れ織りが自己都合退職するがしかし愛しないとするとあの作動は腋毛でない fact10: なにかはＯＢ臭くないとすれば「その債務不履行説は極限でなくて他愛無くない」ということは偽である fact11: 暗い物は総職員数である fact12: もし「二十一世紀前半な」ものがあるとしたらこの跡付け可能性審査は暗いかまたは二十一世紀前半であるかあるいは両方である fact13: もしある物が逃げ惑うとするとそれは窓越しでないがＶＲＥＦだ fact14: もし仮に「あの作動は区分すか御伝えするかもしくは両方ともだ」ということは誤っているとするとその作戦会議は住所録である fact15: 仮にその綴れ織りが自己都合退職するしそれに愛しとするとあの作動は腋毛だということはない fact16: もし仮にその綴れ織りは住所録でないとすると「自己都合退職しないかもしくは腋毛であるかあるいは両方である」ということは成り立たない fact17: 「もしある物は腋毛であるということはないなら「それは区分すらないかもしくは御伝えするかまたは両方である」ということは間違っている」ということは本当だ fact18: その綴れ織りは自己都合退職するがそれは愛しない fact19: なんらかの物はＯＢ臭くない fact20: もし仮にそのＮＰは総職員数であるとしたら「あの作動は灰色っぽい」ということは正しい fact21: 仮に「あのタコグラフは諸部族でない」ということは成り立つとすると「あの溶接跡は熱苦しいということはなくてそれに進化し易くない」ということは偽である fact22: 仮にあの作動は灰色っぽいとすれば「その綴れ織りは区分す」ということは正しい fact23: もしも「「熱苦しくないしおまけに進化し易くない」ということは成り立たない」ものがあるとしたらその学習指導案は逃げ惑う fact24: 仮になんらかのものは区分すとすれば「御伝えしないがしかし腋毛である」ということは成り立たない
fact9 & fact18 -> int1: あの作動は腋毛だということはない; fact17 -> int2: もしあの作動は腋毛でないとすれば「それは区分すらないか御伝えするかあるいは両方ともである」ということは事実と異なる; int1 & int2 -> int3: 「あの作動は区分すらないかもしくは御伝えするかあるいはどちらもである」ということは誤りだ; int3 & fact7 -> hypothesis;
fact9 & fact18 -> int1: ¬{B}{b}; fact17 -> int2: ¬{B}{b} -> ¬(¬{C}{b} v {A}{b}); int1 & int2 -> int3: ¬(¬{C}{b} v {A}{b}); int3 & fact7 -> hypothesis;
その作戦会議は住所録でない
fact26 -> int4: その綴れ織りは区分すれば「御伝えしないけど腋毛だ」ということは誤っている; fact25 -> int5: もし「そのＮＰは暗い」ということは成り立てば「それは総職員数だ」ということは成り立つ; fact32 -> int6: もし仮にその学習指導案が逃げ惑えばそれは窓越しでないけれどＶＲＥＦだ; fact29 & fact35 -> int7: 「その債務不履行説は極限でなくてそれは他愛無くない」ということは嘘である; int7 -> int8: 「「極限でないしさらに他愛無くない」ということは誤っている」ものはある; int8 & fact33 -> int9: あのタコグラフは諸部族でない; fact37 & int9 -> int10: 「あの溶接跡は熱苦しくないしその上それは進化し易くない」ということは成り立つということはない; int10 -> int11: 「「熱苦しくないしそれに進化し易いということはない」ということは誤りな」物はある; int11 & fact27 -> int12: その学習指導案は逃げ惑う; int6 & int12 -> int13: その学習指導案は窓越しでないけれどＶＲＥＦである; int13 -> int14: あるものは窓越しでないがしかしＶＲＥＦだ; int14 & fact30 -> int15: その急性型は二十一世紀前半である; int15 -> int16: 「二十一世紀前半な」ものはある; int16 & fact34 -> int17: この跡付け可能性審査は暗いかそれは二十一世紀前半だ; int17 & fact36 & fact28 -> int18: そのＮＰは暗い; int5 & int18 -> int19: そのＮＰは総職員数だ; fact31 & int19 -> int20: あの作動は灰色っぽい; fact38 & int20 -> int21: その綴れ織りは区分す; int4 & int21 -> int22: 「その綴れ織りは御伝えしない一方で腋毛である」ということは成り立たない; int22 -> int23: 「「御伝えしないしおまけに腋毛だ」ということは偽な」物はある;
$facts$ = fact1: その綴れ織りは腋毛でない fact2: もし仮に「「極限でないしかつ他愛無くない」ということは成り立たない」ものがあるならあのタコグラフは諸部族でない fact3: もしこの跡付け可能性審査が二十一世紀前半であるならそのＮＰは暗い fact4: もし仮に「窓越しでなくてその上ｖＲＥＦである」ものがあるとすればその急性型は二十一世紀前半だ fact5: その作戦会議は自己都合退職する fact6: 仮にこの跡付け可能性審査が暗いならそのＮＰは暗い fact7: もしも「あの作動は区分すらないかあるいはそれは御伝えするかもしくはどちらもだ」ということは間違いであるとするとその作戦会議は住所録だ fact8: あの作動は愛しない fact9: もしその綴れ織りが自己都合退職するがしかし愛しないとするとあの作動は腋毛でない fact10: なにかはＯＢ臭くないとすれば「その債務不履行説は極限でなくて他愛無くない」ということは偽である fact11: 暗い物は総職員数である fact12: もし「二十一世紀前半な」ものがあるとしたらこの跡付け可能性審査は暗いかまたは二十一世紀前半であるかあるいは両方である fact13: もしある物が逃げ惑うとするとそれは窓越しでないがＶＲＥＦだ fact14: もし仮に「あの作動は区分すか御伝えするかもしくは両方ともだ」ということは誤っているとするとその作戦会議は住所録である fact15: 仮にその綴れ織りが自己都合退職するしそれに愛しとするとあの作動は腋毛だということはない fact16: もし仮にその綴れ織りは住所録でないとすると「自己都合退職しないかもしくは腋毛であるかあるいは両方である」ということは成り立たない fact17: 「もしある物は腋毛であるということはないなら「それは区分すらないかもしくは御伝えするかまたは両方である」ということは間違っている」ということは本当だ fact18: その綴れ織りは自己都合退職するがそれは愛しない fact19: なんらかの物はＯＢ臭くない fact20: もし仮にそのＮＰは総職員数であるとしたら「あの作動は灰色っぽい」ということは正しい fact21: 仮に「あのタコグラフは諸部族でない」ということは成り立つとすると「あの溶接跡は熱苦しいということはなくてそれに進化し易くない」ということは偽である fact22: 仮にあの作動は灰色っぽいとすれば「その綴れ織りは区分す」ということは正しい fact23: もしも「「熱苦しくないしおまけに進化し易くない」ということは成り立たない」ものがあるとしたらその学習指導案は逃げ惑う fact24: 仮になんらかのものは区分すとすれば「御伝えしないがしかし腋毛である」ということは成り立たない ; $hypothesis$ = その作戦会議は住所録だ ; $proof$ = 
fact9 & fact18 -> int1: あの作動は腋毛だということはない; fact17 -> int2: もしあの作動は腋毛でないとすれば「それは区分すらないか御伝えするかあるいは両方ともである」ということは事実と異なる; int1 & int2 -> int3: 「あの作動は区分すらないかもしくは御伝えするかあるいはどちらもである」ということは誤りだ; int3 & fact7 -> hypothesis; __PROVED__
事実1: その綴れ織りは腋毛でない
事実2: もし仮に「「極限でないしかつ他愛無くない」ということは成り立たない」ものがあるならあのタコグラフは諸部族でない
事実3: もしこの跡付け可能性審査が二十一世紀前半であるならそのＮＰは暗い
事実4: もし仮に「窓越しでなくてその上ｖＲＥＦである」ものがあるとすればその急性型は二十一世紀前半だ
事実5: その作戦会議は自己都合退職する
事実6: 仮にこの跡付け可能性審査が暗いならそのＮＰは暗い
事実7: もしも「あの作動は区分すらないかあるいはそれは御伝えするかもしくはどちらもだ」ということは間違いであるとするとその作戦会議は住所録だ
事実8: あの作動は愛しない
事実9: もしその綴れ織りが自己都合退職するがしかし愛しないとするとあの作動は腋毛でない
事実10: なにかはＯＢ臭くないとすれば「その債務不履行説は極限でなくて他愛無くない」ということは偽である
事実11: 暗い物は総職員数である
事実12: もし「二十一世紀前半な」ものがあるとしたらこの跡付け可能性審査は暗いかまたは二十一世紀前半であるかあるいは両方である
事実13: もしある物が逃げ惑うとするとそれは窓越しでないがＶＲＥＦだ
事実14: もし仮に「あの作動は区分すか御伝えするかもしくは両方ともだ」ということは誤っているとするとその作戦会議は住所録である
事実15: 仮にその綴れ織りが自己都合退職するしそれに愛しとするとあの作動は腋毛だということはない
事実16: もし仮にその綴れ織りは住所録でないとすると「自己都合退職しないかもしくは腋毛であるかあるいは両方である」ということは成り立たない
事実17: 「もしある物は腋毛であるということはないなら「それは区分すらないかもしくは御伝えするかまたは両方である」ということは間違っている」ということは本当だ
事実18: その綴れ織りは自己都合退職するがそれは愛しない
事実19: なんらかの物はＯＢ臭くない
事実20: もし仮にそのＮＰは総職員数であるとしたら「あの作動は灰色っぽい」ということは正しい
事実21: 仮に「あのタコグラフは諸部族でない」ということは成り立つとすると「あの溶接跡は熱苦しいということはなくてそれに進化し易くない」ということは偽である
事実22: 仮にあの作動は灰色っぽいとすれば「その綴れ織りは区分す」ということは正しい
事実23: もしも「「熱苦しくないしおまけに進化し易くない」ということは成り立たない」ものがあるとしたらその学習指導案は逃げ惑う
事実24: 仮になんらかのものは区分すとすれば「御伝えしないがしかし腋毛である」ということは成り立たない

仮説: その作戦会議は住所録だ
1. 事実9と事実18から、推論1: "あの作動は腋毛だということはない"が導かれる
2. 事実17から、推論2: "もしあの作動は腋毛でないとすれば「それは区分すらないか御伝えするかあるいは両方ともである」ということは事実と異なる"が導かれる
3. 推論1と推論2から、推論3: "「あの作動は区分すらないかもしくは御伝えするかあるいはどちらもである」ということは誤りだ"が導かれる
4. 推論3と事実7から、仮説が導かれる

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