「仮に「ほろ苦いけど応能負担でない」ということは偽であるとしたらオープンである」物はある
fact1: 「もしもほろ苦くないならオープンである」物はある fact2: 「「ほろ苦いししかも応能負担だ」ということは嘘であるとすれば「オープンである」ということは真実である」物はある fact3: 「もしも「空恐ろしいものでありそれに判断し難くない」ということは誤りなら納骨者名である」ものはある fact4: もし「その五Ｐ参照はほろ苦いしそれは応能負担だ」ということは成り立たないならばそれはオープンである fact5: もしも「何らかのものは空恐ろしいがしかし貴方らしくない」ということは成り立たないとすればほろ苦い fact6: その五Ｐ参照が左右され易くないとすればそれはライフラフトである fact7: 「「もし仮に共通化でないとすれば吟味する」物はある」ということは成り立つ fact8: もしも「何かは貴方らしいけど左右され易いということはない」ということは事実と異なるとすれば「それは割れ易い」ということは真実だ fact9: もし仮にその五Ｐ参照はほろ苦いけど応能負担でないとすればオープンだ fact10: もし仮に「なにがしかの物は左右され易い一方で応能負担でない」ということは嘘なら振り下ろす fact11: 「もしも混入し易いならば取り扱い易い」物はある fact12: 「その五Ｐ参照は考え易いが粉っぽくない」ということは成り立たないならばそれはオープンだ fact13: 「もしも大人っぽいなら「説明し難い」ということは誤りでない」ものはある fact14: もし仮にその五Ｐ参照がほろ苦くないならばオープンである fact15: 「もし仮にほろ苦いけれど応能負担でないならオープンである」ものはある fact16: もし仮に「その五Ｐ参照は白々しいけれどそれは確認し難くない」ということは成り立たないとすると滑り難い fact17: 仮に「その五Ｐ参照はほろ苦いけど応能負担でない」ということは確かでないとすればオープンだ fact18: 「応能負担だとしたらオープンである」ものはある fact19: 「もし「「退場するし加えて筆法でない」ということは真実だ」ということは成り立たないならば屋根面である」物はある fact20: 「もしも「起こし易いけれど合併し易くない」ということは成り立たないとすると転任する」ものはある fact21: 「もし「共通化であるしその上痛ーい」ということは誤っているとすれば泣き噦る」物はある
fact17 -> hypothesis;
「もし仮に「貴方らしいが左右され易くない」ということは嘘なら割れ易い」物はある
fact22 -> int1: 「その幕友は貴方らしいがしかし左右され易くない」ということは間違いだとするとそれは割れ易い; int1 -> hypothesis;
$facts$ = fact1: 「もしもほろ苦くないならオープンである」物はある fact2: 「「ほろ苦いししかも応能負担だ」ということは嘘であるとすれば「オープンである」ということは真実である」物はある fact3: 「もしも「空恐ろしいものでありそれに判断し難くない」ということは誤りなら納骨者名である」ものはある fact4: もし「その五Ｐ参照はほろ苦いしそれは応能負担だ」ということは成り立たないならばそれはオープンである fact5: もしも「何らかのものは空恐ろしいがしかし貴方らしくない」ということは成り立たないとすればほろ苦い fact6: その五Ｐ参照が左右され易くないとすればそれはライフラフトである fact7: 「「もし仮に共通化でないとすれば吟味する」物はある」ということは成り立つ fact8: もしも「何かは貴方らしいけど左右され易いということはない」ということは事実と異なるとすれば「それは割れ易い」ということは真実だ fact9: もし仮にその五Ｐ参照はほろ苦いけど応能負担でないとすればオープンだ fact10: もし仮に「なにがしかの物は左右され易い一方で応能負担でない」ということは嘘なら振り下ろす fact11: 「もしも混入し易いならば取り扱い易い」物はある fact12: 「その五Ｐ参照は考え易いが粉っぽくない」ということは成り立たないならばそれはオープンだ fact13: 「もしも大人っぽいなら「説明し難い」ということは誤りでない」ものはある fact14: もし仮にその五Ｐ参照がほろ苦くないならばオープンである fact15: 「もし仮にほろ苦いけれど応能負担でないならオープンである」ものはある fact16: もし仮に「その五Ｐ参照は白々しいけれどそれは確認し難くない」ということは成り立たないとすると滑り難い fact17: 仮に「その五Ｐ参照はほろ苦いけど応能負担でない」ということは確かでないとすればオープンだ fact18: 「応能負担だとしたらオープンである」ものはある fact19: 「もし「「退場するし加えて筆法でない」ということは真実だ」ということは成り立たないならば屋根面である」物はある fact20: 「もしも「起こし易いけれど合併し易くない」ということは成り立たないとすると転任する」ものはある fact21: 「もし「共通化であるしその上痛ーい」ということは誤っているとすれば泣き噦る」物はある ; $hypothesis$ = 「仮に「ほろ苦いけど応能負担でない」ということは偽であるとしたらオープンである」物はある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: 「もしもほろ苦くないならオープンである」物はある
事実2: 「「ほろ苦いししかも応能負担だ」ということは嘘であるとすれば「オープンである」ということは真実である」物はある
事実3: 「もしも「空恐ろしいものでありそれに判断し難くない」ということは誤りなら納骨者名である」ものはある
事実4: もし「その五Ｐ参照はほろ苦いしそれは応能負担だ」ということは成り立たないならばそれはオープンである
事実5: もしも「何らかのものは空恐ろしいがしかし貴方らしくない」ということは成り立たないとすればほろ苦い
事実6: その五Ｐ参照が左右され易くないとすればそれはライフラフトである
事実7: 「「もし仮に共通化でないとすれば吟味する」物はある」ということは成り立つ
事実8: もしも「何かは貴方らしいけど左右され易いということはない」ということは事実と異なるとすれば「それは割れ易い」ということは真実だ
事実9: もし仮にその五Ｐ参照はほろ苦いけど応能負担でないとすればオープンだ
事実10: もし仮に「なにがしかの物は左右され易い一方で応能負担でない」ということは嘘なら振り下ろす
事実11: 「もしも混入し易いならば取り扱い易い」物はある
事実12: 「その五Ｐ参照は考え易いが粉っぽくない」ということは成り立たないならばそれはオープンだ
事実13: 「もしも大人っぽいなら「説明し難い」ということは誤りでない」ものはある
事実14: もし仮にその五Ｐ参照がほろ苦くないならばオープンである
事実15: 「もし仮にほろ苦いけれど応能負担でないならオープンである」ものはある
事実16: もし仮に「その五Ｐ参照は白々しいけれどそれは確認し難くない」ということは成り立たないとすると滑り難い
事実17: 仮に「その五Ｐ参照はほろ苦いけど応能負担でない」ということは確かでないとすればオープンだ
事実18: 「応能負担だとしたらオープンである」ものはある
事実19: 「もし「「退場するし加えて筆法でない」ということは真実だ」ということは成り立たないならば屋根面である」物はある
事実20: 「もしも「起こし易いけれど合併し易くない」ということは成り立たないとすると転任する」ものはある
事実21: 「もし「共通化であるしその上痛ーい」ということは誤っているとすれば泣き噦る」物はある

仮説: 「仮に「ほろ苦いけど応能負担でない」ということは偽であるとしたらオープンである」物はある
1. 事実17から、仮説が導かれる

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