この本号違反は険しい一方でペチジンでない
fact1: もしあの虚構は全人格なら「各種審議会委員でないが電装系だ」ということは成り立たない fact2: 仮になにかは医療安全管理体制でないとすれば「それは報告するということはないけれど損だ」ということは成り立たない fact3: 損は険しいけどペチジンでない fact4: 損はペチジンでない fact5: 仮にあの虚構は外的環境ならば「あの記名投票は医療安全管理体制だ」ということは本当である fact6: なんらかの物は報告するとすれば「「険しいがしかしペチジンでない」ということは本当だ」ということは偽である fact7: あの記名投票が出来易くないならあの虚構は全人格であるしその上温かい fact8: この食欲不振は順応し易いけど会長爺さんでない fact9: 「あの虚構は外的環境であるということはないしその上垂れ込めない」ということは成り立たない fact10: 「あの記名投票は出来易くない」ということは成り立つ fact11: 「あの虚構は外的環境でないしさらに垂れ込めない」ということは間違いならあの記名投票は医療安全管理体制だ fact12: 「なにがしかのものは報告しないが損である」ということは成り立たないならば報告する fact13: もしも「あの虚構は報告する」ということは確かであるとしたら「この本号違反は険しいがしかしペチジンであるということはない」ということは偽である fact14: もしもあの記名投票が医療安全管理体制ならばこの食欲不振は報告する fact15: もしもこの食欲不振が報告するならこの本号違反は損だ fact16: もしもこの本号違反が損だとしたらそれはペチジンでない
fact11 & fact9 -> int1: あの記名投票は医療安全管理体制だ; int1 & fact14 -> int2: この食欲不振は報告する; int2 & fact15 -> int3: この本号違反は損だ; fact3 -> int4: もし仮にこの本号違反が損ならば険しいがペチジンでない; int3 & int4 -> hypothesis;
「この本号違反は険しいけれどペチジンでない」ということは誤りである
fact22 -> int5: もしもこの本号違反は報告すれば「険しいしペチジンでない」ということは成り立たない; fact20 -> int6: 「この本号違反は報告しないけどそれは損である」ということは成り立つということはないとしたら報告する; fact17 -> int7: もし仮にこの本号違反は医療安全管理体制でないとすれば「それは報告しないけど損だ」ということは誤っている; fact19 & fact21 -> int8: あの虚構は全人格であるし温かい; int8 -> int9: あの虚構は全人格である; fact18 & int9 -> int10: 「あの虚構は各種審議会委員でないが電装系だ」ということは誤りである; int10 -> int11: 「「各種審議会委員であるということはないし電装系である」ということは嘘な」物はある;
$facts$ = fact1: もしあの虚構は全人格なら「各種審議会委員でないが電装系だ」ということは成り立たない fact2: 仮になにかは医療安全管理体制でないとすれば「それは報告するということはないけれど損だ」ということは成り立たない fact3: 損は険しいけどペチジンでない fact4: 損はペチジンでない fact5: 仮にあの虚構は外的環境ならば「あの記名投票は医療安全管理体制だ」ということは本当である fact6: なんらかの物は報告するとすれば「「険しいがしかしペチジンでない」ということは本当だ」ということは偽である fact7: あの記名投票が出来易くないならあの虚構は全人格であるしその上温かい fact8: この食欲不振は順応し易いけど会長爺さんでない fact9: 「あの虚構は外的環境であるということはないしその上垂れ込めない」ということは成り立たない fact10: 「あの記名投票は出来易くない」ということは成り立つ fact11: 「あの虚構は外的環境でないしさらに垂れ込めない」ということは間違いならあの記名投票は医療安全管理体制だ fact12: 「なにがしかのものは報告しないが損である」ということは成り立たないならば報告する fact13: もしも「あの虚構は報告する」ということは確かであるとしたら「この本号違反は険しいがしかしペチジンであるということはない」ということは偽である fact14: もしもあの記名投票が医療安全管理体制ならばこの食欲不振は報告する fact15: もしもこの食欲不振が報告するならこの本号違反は損だ fact16: もしもこの本号違反が損だとしたらそれはペチジンでない ; $hypothesis$ = この本号違反は険しい一方でペチジンでない ; $proof$ = 
fact11 & fact9 -> int1: あの記名投票は医療安全管理体制だ; int1 & fact14 -> int2: この食欲不振は報告する; int2 & fact15 -> int3: この本号違反は損だ; fact3 -> int4: もし仮にこの本号違反が損ならば険しいがペチジンでない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしあの虚構は全人格なら「各種審議会委員でないが電装系だ」ということは成り立たない
事実2: 仮になにかは医療安全管理体制でないとすれば「それは報告するということはないけれど損だ」ということは成り立たない
事実3: 損は険しいけどペチジンでない
事実4: 損はペチジンでない
事実5: 仮にあの虚構は外的環境ならば「あの記名投票は医療安全管理体制だ」ということは本当である
事実6: なんらかの物は報告するとすれば「「険しいがしかしペチジンでない」ということは本当だ」ということは偽である
事実7: あの記名投票が出来易くないならあの虚構は全人格であるしその上温かい
事実8: この食欲不振は順応し易いけど会長爺さんでない
事実9: 「あの虚構は外的環境であるということはないしその上垂れ込めない」ということは成り立たない
事実10: 「あの記名投票は出来易くない」ということは成り立つ
事実11: 「あの虚構は外的環境でないしさらに垂れ込めない」ということは間違いならあの記名投票は医療安全管理体制だ
事実12: 「なにがしかのものは報告しないが損である」ということは成り立たないならば報告する
事実13: もしも「あの虚構は報告する」ということは確かであるとしたら「この本号違反は険しいがしかしペチジンであるということはない」ということは偽である
事実14: もしもあの記名投票が医療安全管理体制ならばこの食欲不振は報告する
事実15: もしもこの食欲不振が報告するならこの本号違反は損だ
事実16: もしもこの本号違反が損だとしたらそれはペチジンでない

仮説: この本号違反は険しい一方でペチジンでない
1. 事実11と事実9から、推論1: "あの記名投票は医療安全管理体制だ"が導かれる
2. 推論1と事実14から、推論2: "この食欲不振は報告する"が導かれる
3. 推論2と事実15から、推論3: "この本号違反は損だ"が導かれる
4. 事実3から、推論4: "もし仮にこの本号違反が損ならば険しいがペチジンでない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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