その公開研究会は信じ難くない
fact1: その代行部分は止血するしひんやりする fact2: もし「その公開研究会は信じ難くない」ということは成り立つとしたら「その製品選びは推論するか信じ難くない」ということは偽だ fact3: なんらかのものはし付けないならば睦まじくないし三世帯でない fact4: もし「その代行部分は少ない一方で果たし得ない」ということは成り立たないとすると少なくない fact5: 仮にあのセキュリティ管理は突き落とさないとしたら「それは病院等であるけどし付けない」ということは事実でない fact6: もしなにがしかのものは推論するけど生成し易くないとしたらひんやりしない fact7: もし仮に「「何かは少ないかもしくは推論する」ということは正しい」ということは正しくないならば信じ難くない fact8: 「なにかは少ないかもしくはそれは推論しない」ということは成り立たないとすればそれは信じ難くない fact9: もし仮に「あのセキュリティ管理は病院等であるけれどし付けるということはない」ということは成り立たないとするとその製品選びはし付けない fact10: その製品選びは推論しないとすれば「その公開研究会は少ないかあるいは推論しないかまたは両方である」ということは嘘である fact11: 少なくないものは推論するけど生成し易くない fact12: その代行部分がひんやりするということはないとしたらその公開研究会は止血しないけれど信じ難い fact13: もしもその代行部分は止血するとすると「「その製品選びが生成し易いということはないしその上それは止血しない」ということは事実である」ということは嘘だ fact14: もしも「とあるものは生成し易くないしその上それは止血しない」ということは間違いであるとしたら推論するということはない fact15: もし仮に「その製品選びは睦まじくない」ということは成り立つとしたら「その代行部分は少ないけれど果たし得ない」ということは事実と異なる
fact1 -> int1: その代行部分は止血する; int1 & fact13 -> int2: 「「その製品選びは生成し易くないしその上止血しない」ということは誤っている」ということは成り立つ; fact14 -> int3: 仮に「その製品選びは生成し易くないしその上それは止血しない」ということは誤っているなら推論しない; int2 & int3 -> int4: その製品選びは推論しない; int4 & fact10 -> int5: 「その公開研究会は少ないかまたは推論しないか両方ともである」ということは嘘だ; fact8 -> int6: もし仮に「その公開研究会は少ないかあるいはそれは推論しない」ということは誤っているとすればそれは信じ難くない; int5 & int6 -> hypothesis;
その公開研究会は信じ難い
fact22 -> int7: 仮にその代行部分は推論するが生成し易くないとすれば「ひんやりしない」ということは成り立つ; fact19 -> int8: その代行部分が少なくないとすれば推論するけど生成し易くない; fact23 -> int9: 仮にその製品選びはし付けないとすると「それは睦まじいということはないものであり加えて三世帯でない」ということは誤りでない;
$facts$ = fact1: その代行部分は止血するしひんやりする fact2: もし「その公開研究会は信じ難くない」ということは成り立つとしたら「その製品選びは推論するか信じ難くない」ということは偽だ fact3: なんらかのものはし付けないならば睦まじくないし三世帯でない fact4: もし「その代行部分は少ない一方で果たし得ない」ということは成り立たないとすると少なくない fact5: 仮にあのセキュリティ管理は突き落とさないとしたら「それは病院等であるけどし付けない」ということは事実でない fact6: もしなにがしかのものは推論するけど生成し易くないとしたらひんやりしない fact7: もし仮に「「何かは少ないかもしくは推論する」ということは正しい」ということは正しくないならば信じ難くない fact8: 「なにかは少ないかもしくはそれは推論しない」ということは成り立たないとすればそれは信じ難くない fact9: もし仮に「あのセキュリティ管理は病院等であるけれどし付けるということはない」ということは成り立たないとするとその製品選びはし付けない fact10: その製品選びは推論しないとすれば「その公開研究会は少ないかあるいは推論しないかまたは両方である」ということは嘘である fact11: 少なくないものは推論するけど生成し易くない fact12: その代行部分がひんやりするということはないとしたらその公開研究会は止血しないけれど信じ難い fact13: もしもその代行部分は止血するとすると「「その製品選びが生成し易いということはないしその上それは止血しない」ということは事実である」ということは嘘だ fact14: もしも「とあるものは生成し易くないしその上それは止血しない」ということは間違いであるとしたら推論するということはない fact15: もし仮に「その製品選びは睦まじくない」ということは成り立つとしたら「その代行部分は少ないけれど果たし得ない」ということは事実と異なる ; $hypothesis$ = その公開研究会は信じ難くない ; $proof$ = 
fact1 -> int1: その代行部分は止血する; int1 & fact13 -> int2: 「「その製品選びは生成し易くないしその上止血しない」ということは誤っている」ということは成り立つ; fact14 -> int3: 仮に「その製品選びは生成し易くないしその上それは止血しない」ということは誤っているなら推論しない; int2 & int3 -> int4: その製品選びは推論しない; int4 & fact10 -> int5: 「その公開研究会は少ないかまたは推論しないか両方ともである」ということは嘘だ; fact8 -> int6: もし仮に「その公開研究会は少ないかあるいはそれは推論しない」ということは誤っているとすればそれは信じ難くない; int5 & int6 -> hypothesis; __PROVED__
事実1: その代行部分は止血するしひんやりする
事実2: もし「その公開研究会は信じ難くない」ということは成り立つとしたら「その製品選びは推論するか信じ難くない」ということは偽だ
事実3: なんらかのものはし付けないならば睦まじくないし三世帯でない
事実4: もし「その代行部分は少ない一方で果たし得ない」ということは成り立たないとすると少なくない
事実5: 仮にあのセキュリティ管理は突き落とさないとしたら「それは病院等であるけどし付けない」ということは事実でない
事実6: もしなにがしかのものは推論するけど生成し易くないとしたらひんやりしない
事実7: もし仮に「「何かは少ないかもしくは推論する」ということは正しい」ということは正しくないならば信じ難くない
事実8: 「なにかは少ないかもしくはそれは推論しない」ということは成り立たないとすればそれは信じ難くない
事実9: もし仮に「あのセキュリティ管理は病院等であるけれどし付けるということはない」ということは成り立たないとするとその製品選びはし付けない
事実10: その製品選びは推論しないとすれば「その公開研究会は少ないかあるいは推論しないかまたは両方である」ということは嘘である
事実11: 少なくないものは推論するけど生成し易くない
事実12: その代行部分がひんやりするということはないとしたらその公開研究会は止血しないけれど信じ難い
事実13: もしもその代行部分は止血するとすると「「その製品選びが生成し易いということはないしその上それは止血しない」ということは事実である」ということは嘘だ
事実14: もしも「とあるものは生成し易くないしその上それは止血しない」ということは間違いであるとしたら推論するということはない
事実15: もし仮に「その製品選びは睦まじくない」ということは成り立つとしたら「その代行部分は少ないけれど果たし得ない」ということは事実と異なる

仮説: その公開研究会は信じ難くない
1. 事実1から、推論1: "その代行部分は止血する"が導かれる
2. 推論1と事実13から、推論2: "「「その製品選びは生成し易くないしその上止血しない」ということは誤っている」ということは成り立つ"が導かれる
3. 事実14から、推論3: "仮に「その製品選びは生成し易くないしその上それは止血しない」ということは誤っているなら推論しない"が導かれる
4. 推論2と推論3から、推論4: "その製品選びは推論しない"が導かれる
5. 推論4と事実10から、推論5: "「その公開研究会は少ないかまたは推論しないか両方ともである」ということは嘘だ"が導かれる
6. 事実8から、推論6: "もし仮に「その公開研究会は少ないかあるいはそれは推論しない」ということは誤っているとすればそれは信じ難くない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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