もしこの看護実践が長いならばその最大風速は根気強い
fact1: 仮にこの看護実践は根気強いとしたら「その最大風速は長いけれど働き難くない」ということは偽である fact2: 「その最大風速は称賛文化であるしそれは働き難い」ということは嘘である fact3: 「この作戦方針は顕在化し易い一方で俯けない」ということは真実でない fact4: 仮にこの看護実践は長いとしたら「その最大風速は称賛文化であるしその上働き難い」ということは嘘だ fact5: もしも「その最大風速は最もらしい」ということは真実であるならば「それは心憎いということはないししかも複合しない」ということは事実と異なる fact6: この看護実践は隙間無い fact7: この看護実践は根気強い fact8: もしも「その最大風速は心憎くないししかも複合しない」ということは間違いであるとすればこの看護実践は複合しない fact9: もし仮にその最大風速が長いとしたらこの看護実践は称賛文化である fact10: その最大風速は俯ける fact11: 仮にこの看護実践は長いとしたら「「その最大風速は称賛文化だがしかし働き難くない」ということは誤りでない」ということは成り立たない fact12: 仮にその最大風速が働き難いとすれば根気強い fact13: もしもこの看護実践は複合しないとすると「その信長公記は根気強いかまたは収縮であるかあるいは両方である」ということは成り立つということはない fact14: 生まれ難い物は最もらしい fact15: その最大風速は空乏し層である fact16: もし「その最大風速は称賛文化だけれど働き難くない」ということは偽だとしたらそれは根気強い fact17: なにがしかのものは長くないとしたら「働き難いしその上それは搦め取らない」ということは成り立たない fact18: もし仮に「なにかは根気強いかあるいは収縮である」ということは誤りだとすれば長いということはない
void -> assump1: 以下のように仮定する。この看護実践は長い; fact11 & assump1 -> int1: 「その最大風速は称賛文化であるがしかし働き難くない」ということは確かでない; int1 & fact16 -> int2: その最大風速は根気強い; [assump1] & int2 -> hypothesis;
「「その信長公記は働き難いが搦め取らない」ということは真実である」ということは嘘だ
fact20 -> int3: もしもその信長公記は長くないなら「それは働き難いけれど搦め取るということはない」ということは成り立たない; fact19 -> int4: もし仮に「その信長公記は根気強いかあるいはそれは収縮である」ということは誤りであるとすると「それは長くない」ということは本当である; fact24 -> int5: もしもその最大風速が生まれ難いとしたら最もらしい;
$facts$ = fact1: 仮にこの看護実践は根気強いとしたら「その最大風速は長いけれど働き難くない」ということは偽である fact2: 「その最大風速は称賛文化であるしそれは働き難い」ということは嘘である fact3: 「この作戦方針は顕在化し易い一方で俯けない」ということは真実でない fact4: 仮にこの看護実践は長いとしたら「その最大風速は称賛文化であるしその上働き難い」ということは嘘だ fact5: もしも「その最大風速は最もらしい」ということは真実であるならば「それは心憎いということはないししかも複合しない」ということは事実と異なる fact6: この看護実践は隙間無い fact7: この看護実践は根気強い fact8: もしも「その最大風速は心憎くないししかも複合しない」ということは間違いであるとすればこの看護実践は複合しない fact9: もし仮にその最大風速が長いとしたらこの看護実践は称賛文化である fact10: その最大風速は俯ける fact11: 仮にこの看護実践は長いとしたら「「その最大風速は称賛文化だがしかし働き難くない」ということは誤りでない」ということは成り立たない fact12: 仮にその最大風速が働き難いとすれば根気強い fact13: もしもこの看護実践は複合しないとすると「その信長公記は根気強いかまたは収縮であるかあるいは両方である」ということは成り立つということはない fact14: 生まれ難い物は最もらしい fact15: その最大風速は空乏し層である fact16: もし「その最大風速は称賛文化だけれど働き難くない」ということは偽だとしたらそれは根気強い fact17: なにがしかのものは長くないとしたら「働き難いしその上それは搦め取らない」ということは成り立たない fact18: もし仮に「なにかは根気強いかあるいは収縮である」ということは誤りだとすれば長いということはない ; $hypothesis$ = もしこの看護実践が長いならばその最大風速は根気強い ; $proof$ = 
void -> assump1: 以下のように仮定する。この看護実践は長い; fact11 & assump1 -> int1: 「その最大風速は称賛文化であるがしかし働き難くない」ということは確かでない; int1 & fact16 -> int2: その最大風速は根気強い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にこの看護実践は根気強いとしたら「その最大風速は長いけれど働き難くない」ということは偽である
事実2: 「その最大風速は称賛文化であるしそれは働き難い」ということは嘘である
事実3: 「この作戦方針は顕在化し易い一方で俯けない」ということは真実でない
事実4: 仮にこの看護実践は長いとしたら「その最大風速は称賛文化であるしその上働き難い」ということは嘘だ
事実5: もしも「その最大風速は最もらしい」ということは真実であるならば「それは心憎いということはないししかも複合しない」ということは事実と異なる
事実6: この看護実践は隙間無い
事実7: この看護実践は根気強い
事実8: もしも「その最大風速は心憎くないししかも複合しない」ということは間違いであるとすればこの看護実践は複合しない
事実9: もし仮にその最大風速が長いとしたらこの看護実践は称賛文化である
事実10: その最大風速は俯ける
事実11: 仮にこの看護実践は長いとしたら「「その最大風速は称賛文化だがしかし働き難くない」ということは誤りでない」ということは成り立たない
事実12: 仮にその最大風速が働き難いとすれば根気強い
事実13: もしもこの看護実践は複合しないとすると「その信長公記は根気強いかまたは収縮であるかあるいは両方である」ということは成り立つということはない
事実14: 生まれ難い物は最もらしい
事実15: その最大風速は空乏し層である
事実16: もし「その最大風速は称賛文化だけれど働き難くない」ということは偽だとしたらそれは根気強い
事実17: なにがしかのものは長くないとしたら「働き難いしその上それは搦め取らない」ということは成り立たない
事実18: もし仮に「なにかは根気強いかあるいは収縮である」ということは誤りだとすれば長いということはない

仮説: もしこの看護実践が長いならばその最大風速は根気強い
1. 仮定1: 以下のように仮定する。この看護実践は長い
2. 事実11と仮定1から、推論1: "「その最大風速は称賛文化であるがしかし働き難くない」ということは確かでない"が導かれる
3. 推論1と事実16から、推論2: "その最大風速は根気強い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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