「あの機動隊員は実践するということはないし首尾良くない」ということは成り立つ
fact1: 仮になにがしかのものは子供連れでない一方で南北問題であるとすれば「あのセリンは答え難くない」ということは確かである fact2: もし仮にあの下直が植林しないならその華やかさは植林しない fact3: とあるものは新製品開発なら「実践しないししかも首尾良くない」ということは成り立たない fact4: もしあのセリンが首尾良くないとしたら新製品開発でない fact5: 心細くない物は恙無いかあるいはだらける fact6: あの機動隊員は首尾良くない fact7: あらゆる物は心細くない fact8: あの機動隊員はＳ形だ fact9: もし「答え難くない」物があればあの機動隊員は新製品開発であるししかも取り為さる fact10: 仮にあの下直が四百ミリリットル分でないとすればその華やかさは植林しない fact11: あの機動隊員は首尾良くないししかも取り為さるということはない fact12: もしも「アドレスする」物があるならあの下直は四百ミリリットル分でないか植林しないかまたは両方である fact13: もしもあの機動隊員が首尾良いならあのセリンは取り為さる fact14: もしも「何らかの物は新製品開発だ」ということは事実なら「それは柔道家達だということはないし忍び難くない」ということは正しくない fact15: もしもあのセリンは新製品開発だということはないとすると「取り為さらない」ということは真実だ fact16: もし「あの機動隊員は実践するということはないし首尾良くない」ということは偽であるとするとあのセリンは取り為さる fact17: あのセリンは新製品開発でない fact18: とある物がだらけるとしたらアドレスする fact19: 「あの機動隊員は実践するということはないけどそれは首尾良い」ということは嘘である fact20: もし仮にとあるものが恙無いとしたらアドレスする
void -> assump1: 以下のように仮定する。「あの機動隊員は実践しなくてかつ首尾良くない」ということは成り立たない; fact16 & assump1 -> int1: あのセリンは取り為さる; fact15 & fact17 -> int2: あのセリンは取り為さらない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} & ¬{AB}{a}); fact16 & assump1 -> int1: {B}{b}; fact15 & fact17 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの入部は柔道家達でなくてかつ忍び難いということはない」ということは偽である
fact21 -> int4: あの入部は新製品開発であるなら「それは柔道家達でなくて加えて忍び難くない」ということは成り立たない;
$facts$ = fact1: 仮になにがしかのものは子供連れでない一方で南北問題であるとすれば「あのセリンは答え難くない」ということは確かである fact2: もし仮にあの下直が植林しないならその華やかさは植林しない fact3: とあるものは新製品開発なら「実践しないししかも首尾良くない」ということは成り立たない fact4: もしあのセリンが首尾良くないとしたら新製品開発でない fact5: 心細くない物は恙無いかあるいはだらける fact6: あの機動隊員は首尾良くない fact7: あらゆる物は心細くない fact8: あの機動隊員はＳ形だ fact9: もし「答え難くない」物があればあの機動隊員は新製品開発であるししかも取り為さる fact10: 仮にあの下直が四百ミリリットル分でないとすればその華やかさは植林しない fact11: あの機動隊員は首尾良くないししかも取り為さるということはない fact12: もしも「アドレスする」物があるならあの下直は四百ミリリットル分でないか植林しないかまたは両方である fact13: もしもあの機動隊員が首尾良いならあのセリンは取り為さる fact14: もしも「何らかの物は新製品開発だ」ということは事実なら「それは柔道家達だということはないし忍び難くない」ということは正しくない fact15: もしもあのセリンは新製品開発だということはないとすると「取り為さらない」ということは真実だ fact16: もし「あの機動隊員は実践するということはないし首尾良くない」ということは偽であるとするとあのセリンは取り為さる fact17: あのセリンは新製品開発でない fact18: とある物がだらけるとしたらアドレスする fact19: 「あの機動隊員は実践するということはないけどそれは首尾良い」ということは嘘である fact20: もし仮にとあるものが恙無いとしたらアドレスする ; $hypothesis$ = 「あの機動隊員は実践するということはないし首尾良くない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの機動隊員は実践しなくてかつ首尾良くない」ということは成り立たない; fact16 & assump1 -> int1: あのセリンは取り為さる; fact15 & fact17 -> int2: あのセリンは取り為さらない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものは子供連れでない一方で南北問題であるとすれば「あのセリンは答え難くない」ということは確かである
事実2: もし仮にあの下直が植林しないならその華やかさは植林しない
事実3: とあるものは新製品開発なら「実践しないししかも首尾良くない」ということは成り立たない
事実4: もしあのセリンが首尾良くないとしたら新製品開発でない
事実5: 心細くない物は恙無いかあるいはだらける
事実6: あの機動隊員は首尾良くない
事実7: あらゆる物は心細くない
事実8: あの機動隊員はＳ形だ
事実9: もし「答え難くない」物があればあの機動隊員は新製品開発であるししかも取り為さる
事実10: 仮にあの下直が四百ミリリットル分でないとすればその華やかさは植林しない
事実11: あの機動隊員は首尾良くないししかも取り為さるということはない
事実12: もしも「アドレスする」物があるならあの下直は四百ミリリットル分でないか植林しないかまたは両方である
事実13: もしもあの機動隊員が首尾良いならあのセリンは取り為さる
事実14: もしも「何らかの物は新製品開発だ」ということは事実なら「それは柔道家達だということはないし忍び難くない」ということは正しくない
事実15: もしもあのセリンは新製品開発だということはないとすると「取り為さらない」ということは真実だ
事実16: もし「あの機動隊員は実践するということはないし首尾良くない」ということは偽であるとするとあのセリンは取り為さる
事実17: あのセリンは新製品開発でない
事実18: とある物がだらけるとしたらアドレスする
事実19: 「あの機動隊員は実践するということはないけどそれは首尾良い」ということは嘘である
事実20: もし仮にとあるものが恙無いとしたらアドレスする

仮説: 「あの機動隊員は実践するということはないし首尾良くない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの機動隊員は実践しなくてかつ首尾良くない」ということは成り立たない
2. 事実16と仮定1から、推論1: "あのセリンは取り為さる"が導かれる
3. 事実15と事実17から、推論2: "あのセリンは取り為さらない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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