あのキャメラ・オブスキュラは軽々しかない
fact1: 「何らかのものは左右され易いが供託出来ない」ということは偽であるならそれは軽々しい fact2: もし何らかの物が静観詩集だということはないとしたらそれは左右され易くないしそれは供託出来る fact3: あのキャメラ・オブスキュラは供託出来ない fact4: 仮に「その温情は不味くないが見極め難い」ということは偽であるとすればバーガーであるということはない fact5: 仮にその温情はバーガーでないとすると「その山Ｈは未だするし噛み締める」ということは誤っている fact6: もし何らかの物は諫早干拓でないとするとそれは野太くないが飛び掛かる fact7: あの島内消費は営業秘密だということはない fact8: 「その温情は不味くないがそれは見極め難い」ということは間違っている fact9: あの島内消費は左右され易い fact10: あの島内消費は供託出来ない fact11: もし仮にあの島内消費が軽々しかないけれど供託出来るならあのキャメラ・オブスキュラは左右され易くない fact12: もし「とあるものは未だするししかも噛み締める」ということは成り立つということはないとするとそれは未だしない fact13: あのキャメラ・オブスキュラは浅ましない物でありしかも彼等自身だ fact14: その失語症状は左右され易くない fact15: あの怨嗟は供託出来ない fact16: その一揆は未だしないがしかし左右され易い fact17: 仮にとあるものは未でないとしたら「それは転生ラマであるかそれは食べ付けるかまたは両方である」ということは成り立たない fact18: もしあのキャメラ・オブスキュラが供託出来ないがしかし左右され易いとするとあの島内消費は軽々しかない fact19: 仮に野太くないものが飛び掛かるとすれば静観詩集でない fact20: 仮にあのキャメラ・オブスキュラが左右され易くないけど供託出来るとするとあの島内消費は軽々しかない fact21: もし仮にあの島内消費は左右され易いということはないが供託出来るなら「あのキャメラ・オブスキュラは軽々しい」ということは成り立つ fact22: もしもあの島内消費が軽々しかないけれど左右され易いならあのキャメラ・オブスキュラは供託出来ない fact23: 「もしもあの島内消費が供託出来ない一方で左右され易いとすればあのキャメラ・オブスキュラは軽々しかない」ということは事実である fact24: 「あの島内消費は拾い読みする」ということは本当である
fact10 & fact9 -> int1: あの島内消費は供託出来ないがしかし左右され易い; int1 & fact23 -> hypothesis;
fact10 & fact9 -> int1: (¬{A}{a} & {B}{a}); int1 & fact23 -> hypothesis;
あのキャメラ・オブスキュラは軽々しい
fact33 -> int2: 仮にあの島内消費が静観詩集でないとすると左右され易くないしおまけにそれは供託出来る; fact31 -> int3: 仮にあの島内消費は野太いということはない一方で飛び掛かるならそれは静観詩集でない; fact30 -> int4: 仮にあの島内消費が諫早干拓でないとしたら野太くないしそれにそれは飛び掛かる; fact32 -> int5: 仮にその山Ｈは未でないとしたら「転生ラマであるかあるいは食べ付ける」ということは事実と異なる; fact29 -> int6: もしも「その山Ｈは未だするし噛み締める」ということは成り立たないとするとそれは未だするということはない; fact25 & fact28 -> int7: その温情はバーガーでない; fact27 & int7 -> int8: 「その山Ｈは未だするし噛み締める」ということは誤っている; int6 & int8 -> int9: その山Ｈは未だするということはない; int5 & int9 -> int10: 「その山Ｈは転生ラマであるかもしくはそれは食べ付けるかあるいは両方だ」ということは成り立つということはない; int10 -> int11: 「「転生ラマであるか食べ付けるかまたはどちらもである」ということは偽である」ものはある;
$facts$ = fact1: 「何らかのものは左右され易いが供託出来ない」ということは偽であるならそれは軽々しい fact2: もし何らかの物が静観詩集だということはないとしたらそれは左右され易くないしそれは供託出来る fact3: あのキャメラ・オブスキュラは供託出来ない fact4: 仮に「その温情は不味くないが見極め難い」ということは偽であるとすればバーガーであるということはない fact5: 仮にその温情はバーガーでないとすると「その山Ｈは未だするし噛み締める」ということは誤っている fact6: もし何らかの物は諫早干拓でないとするとそれは野太くないが飛び掛かる fact7: あの島内消費は営業秘密だということはない fact8: 「その温情は不味くないがそれは見極め難い」ということは間違っている fact9: あの島内消費は左右され易い fact10: あの島内消費は供託出来ない fact11: もし仮にあの島内消費が軽々しかないけれど供託出来るならあのキャメラ・オブスキュラは左右され易くない fact12: もし「とあるものは未だするししかも噛み締める」ということは成り立つということはないとするとそれは未だしない fact13: あのキャメラ・オブスキュラは浅ましない物でありしかも彼等自身だ fact14: その失語症状は左右され易くない fact15: あの怨嗟は供託出来ない fact16: その一揆は未だしないがしかし左右され易い fact17: 仮にとあるものは未でないとしたら「それは転生ラマであるかそれは食べ付けるかまたは両方である」ということは成り立たない fact18: もしあのキャメラ・オブスキュラが供託出来ないがしかし左右され易いとするとあの島内消費は軽々しかない fact19: 仮に野太くないものが飛び掛かるとすれば静観詩集でない fact20: 仮にあのキャメラ・オブスキュラが左右され易くないけど供託出来るとするとあの島内消費は軽々しかない fact21: もし仮にあの島内消費は左右され易いということはないが供託出来るなら「あのキャメラ・オブスキュラは軽々しい」ということは成り立つ fact22: もしもあの島内消費が軽々しかないけれど左右され易いならあのキャメラ・オブスキュラは供託出来ない fact23: 「もしもあの島内消費が供託出来ない一方で左右され易いとすればあのキャメラ・オブスキュラは軽々しかない」ということは事実である fact24: 「あの島内消費は拾い読みする」ということは本当である ; $hypothesis$ = あのキャメラ・オブスキュラは軽々しかない ; $proof$ = 
fact10 & fact9 -> int1: あの島内消費は供託出来ないがしかし左右され易い; int1 & fact23 -> hypothesis; __PROVED__
事実1: 「何らかのものは左右され易いが供託出来ない」ということは偽であるならそれは軽々しい
事実2: もし何らかの物が静観詩集だということはないとしたらそれは左右され易くないしそれは供託出来る
事実3: あのキャメラ・オブスキュラは供託出来ない
事実4: 仮に「その温情は不味くないが見極め難い」ということは偽であるとすればバーガーであるということはない
事実5: 仮にその温情はバーガーでないとすると「その山Ｈは未だするし噛み締める」ということは誤っている
事実6: もし何らかの物は諫早干拓でないとするとそれは野太くないが飛び掛かる
事実7: あの島内消費は営業秘密だということはない
事実8: 「その温情は不味くないがそれは見極め難い」ということは間違っている
事実9: あの島内消費は左右され易い
事実10: あの島内消費は供託出来ない
事実11: もし仮にあの島内消費が軽々しかないけれど供託出来るならあのキャメラ・オブスキュラは左右され易くない
事実12: もし「とあるものは未だするししかも噛み締める」ということは成り立つということはないとするとそれは未だしない
事実13: あのキャメラ・オブスキュラは浅ましない物でありしかも彼等自身だ
事実14: その失語症状は左右され易くない
事実15: あの怨嗟は供託出来ない
事実16: その一揆は未だしないがしかし左右され易い
事実17: 仮にとあるものは未でないとしたら「それは転生ラマであるかそれは食べ付けるかまたは両方である」ということは成り立たない
事実18: もしあのキャメラ・オブスキュラが供託出来ないがしかし左右され易いとするとあの島内消費は軽々しかない
事実19: 仮に野太くないものが飛び掛かるとすれば静観詩集でない
事実20: 仮にあのキャメラ・オブスキュラが左右され易くないけど供託出来るとするとあの島内消費は軽々しかない
事実21: もし仮にあの島内消費は左右され易いということはないが供託出来るなら「あのキャメラ・オブスキュラは軽々しい」ということは成り立つ
事実22: もしもあの島内消費が軽々しかないけれど左右され易いならあのキャメラ・オブスキュラは供託出来ない
事実23: 「もしもあの島内消費が供託出来ない一方で左右され易いとすればあのキャメラ・オブスキュラは軽々しかない」ということは事実である
事実24: 「あの島内消費は拾い読みする」ということは本当である

仮説: あのキャメラ・オブスキュラは軽々しかない
1. 事実10と事実9から、推論1: "あの島内消費は供託出来ないがしかし左右され易い"が導かれる
2. 推論1と事実23から、仮説が導かれる

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