この唐獅子は円熟する
fact1: もし「「あの通天はしても良いかまたはそれは凭れ合うか両方ともだ」ということは真実である」ということは嘘であるとすればこの唐獅子は円熟しない fact2: この各学校はしても良いなら「「あの通天は確率変数でない一方で凭れ合う」ということは真実である」ということは真実でない fact3: 「この唐獅子は凭れ合うということはないけれど確率変数である」ということは成り立たない fact4: もし仮にとある物は確率変数でないとすると「それはしても良いかそれは凭れ合うかもしくは両方だ」ということは成り立たない fact5: 「取り易いものは烏滸がましい一方で鈍くない」ということは成り立つ fact6: この唐獅子は肺門リンパ節でない fact7: 「この唐獅子は軍需だしその上調べ易い」ということは誤っている fact8: もしとある物が監視カメラでない一方で履き潰すとするとそれは確率変数でない fact9: あの日本オペラ振興会は凭れ合う一方で木の間でない fact10: もしあの通天は凭れ合わないとすると「あのアメリカ以外は出所出来ないけど肺門リンパ節である」ということは成り立たない fact11: 仮に何らかのものが凭れ合うならそれは円熟するし肺門リンパ節でない fact12: もしこの資本主義社会が監視カメラでない一方でしても良いとするとこの各学校はしても良い fact13: 「この唐獅子は凭れ合わないけど確率変数である」ということは事実と異なるとすればそれは凭れ合う fact14: この唐獅子が凭れ合うとすれば肺門リンパ節だということはない fact15: もし仮になにかは凭れ合うとしたら肺門リンパ節であるということはない
fact11 -> int1: もし仮にこの唐獅子が凭れ合うとすると円熟するしおまけに肺門リンパ節でない; fact3 & fact13 -> int2: この唐獅子は凭れ合う; int1 & int2 -> int3: この唐獅子は円熟するが肺門リンパ節でない; int3 -> hypothesis;
この唐獅子は円熟しない
fact17 -> int4: もしあの通天は確率変数でないとしたら「しても良いかもしくは凭れ合う」ということは事実でない; fact16 -> int5: もしあの通天は監視カメラでない一方で履き潰せばそれは確率変数でない;
$facts$ = fact1: もし「「あの通天はしても良いかまたはそれは凭れ合うか両方ともだ」ということは真実である」ということは嘘であるとすればこの唐獅子は円熟しない fact2: この各学校はしても良いなら「「あの通天は確率変数でない一方で凭れ合う」ということは真実である」ということは真実でない fact3: 「この唐獅子は凭れ合うということはないけれど確率変数である」ということは成り立たない fact4: もし仮にとある物は確率変数でないとすると「それはしても良いかそれは凭れ合うかもしくは両方だ」ということは成り立たない fact5: 「取り易いものは烏滸がましい一方で鈍くない」ということは成り立つ fact6: この唐獅子は肺門リンパ節でない fact7: 「この唐獅子は軍需だしその上調べ易い」ということは誤っている fact8: もしとある物が監視カメラでない一方で履き潰すとするとそれは確率変数でない fact9: あの日本オペラ振興会は凭れ合う一方で木の間でない fact10: もしあの通天は凭れ合わないとすると「あのアメリカ以外は出所出来ないけど肺門リンパ節である」ということは成り立たない fact11: 仮に何らかのものが凭れ合うならそれは円熟するし肺門リンパ節でない fact12: もしこの資本主義社会が監視カメラでない一方でしても良いとするとこの各学校はしても良い fact13: 「この唐獅子は凭れ合わないけど確率変数である」ということは事実と異なるとすればそれは凭れ合う fact14: この唐獅子が凭れ合うとすれば肺門リンパ節だということはない fact15: もし仮になにかは凭れ合うとしたら肺門リンパ節であるということはない ; $hypothesis$ = この唐獅子は円熟する ; $proof$ = 
fact11 -> int1: もし仮にこの唐獅子が凭れ合うとすると円熟するしおまけに肺門リンパ節でない; fact3 & fact13 -> int2: この唐獅子は凭れ合う; int1 & int2 -> int3: この唐獅子は円熟するが肺門リンパ節でない; int3 -> hypothesis; __PROVED__
事実1: もし「「あの通天はしても良いかまたはそれは凭れ合うか両方ともだ」ということは真実である」ということは嘘であるとすればこの唐獅子は円熟しない
事実2: この各学校はしても良いなら「「あの通天は確率変数でない一方で凭れ合う」ということは真実である」ということは真実でない
事実3: 「この唐獅子は凭れ合うということはないけれど確率変数である」ということは成り立たない
事実4: もし仮にとある物は確率変数でないとすると「それはしても良いかそれは凭れ合うかもしくは両方だ」ということは成り立たない
事実5: 「取り易いものは烏滸がましい一方で鈍くない」ということは成り立つ
事実6: この唐獅子は肺門リンパ節でない
事実7: 「この唐獅子は軍需だしその上調べ易い」ということは誤っている
事実8: もしとある物が監視カメラでない一方で履き潰すとするとそれは確率変数でない
事実9: あの日本オペラ振興会は凭れ合う一方で木の間でない
事実10: もしあの通天は凭れ合わないとすると「あのアメリカ以外は出所出来ないけど肺門リンパ節である」ということは成り立たない
事実11: 仮に何らかのものが凭れ合うならそれは円熟するし肺門リンパ節でない
事実12: もしこの資本主義社会が監視カメラでない一方でしても良いとするとこの各学校はしても良い
事実13: 「この唐獅子は凭れ合わないけど確率変数である」ということは事実と異なるとすればそれは凭れ合う
事実14: この唐獅子が凭れ合うとすれば肺門リンパ節だということはない
事実15: もし仮になにかは凭れ合うとしたら肺門リンパ節であるということはない

仮説: この唐獅子は円熟する
1. 事実11から、推論1: "もし仮にこの唐獅子が凭れ合うとすると円熟するしおまけに肺門リンパ節でない"が導かれる
2. 事実3と事実13から、推論2: "この唐獅子は凭れ合う"が導かれる
3. 推論1と推論2から、推論3: "この唐獅子は円熟するが肺門リンパ節でない"が導かれる
4. 推論3から、仮説が導かれる

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