その知識レベルは誤解され易い
fact1: 仮に何らかのものが司法権であるかあるいはそれは家事労働であるということはないかあるいは両方だとすると建設しない fact2: もし仮にあの漫画読者が架橋しないならその知識レベルは認め難くないし抽出しない fact3: 仮に「あの健康保険被保険者証は練り歩かなくて試食しない」ということは本当でないならばあの点火装置は試食しない fact4: その知識レベルは認め難くない fact5: もし仮にあの漫画読者が架橋すればその知識レベルは支払い資金だ fact6: あの漫画読者はハーブティーだがしかし支払い資金でないならばそれは誤解され易い fact7: もしも「「「背表紙でないかまたは誤解され易いということはないか両方ともだ」ということは間違いでない」ということは間違っている」ものがあるとすればその知識レベルは認め難くない fact8: もしも「その点火装置は掲載しなくて紹介致すということはない」ということは誤っているとすれば「あの六要素は漏れ易くない」ということは成り立つ fact9: その知識レベルは漏れ易い fact10: もしあの漫画読者は支払い資金だとすると「架橋しない」ということは成り立つ fact11: 「あの健康保険被保険者証は練り歩かないしその上試食しない」ということは間違っている fact12: 仮にとある物がハーブティーでないけれどそれは支払い資金なら「それは誤解され易くない」ということは事実である fact13: もしもとあるものが支払い資金であるかまたはハーブティーでないかまたはどちらもだとするとそれは架橋しない fact14: もし何らかの物は試食しないなら「掲載するということはなくてそれに紹介致さない」ということは誤っている fact15: あの漫画読者が抽出するけれどハーブティーでないならばあの石造は抽出しない fact16: あの漫画読者はハーブティーでない fact17: その知識レベルはハーブティーだ fact18: もしその知識レベルは認め難いが抽出しないならそれは誤解され易い fact19: もしあるものは漏れ易いということはないなら「それは背表紙でないか誤解され易くないかあるいは両方だ」ということは成り立たない fact20: 認め難くないものは架橋しないけれど支払い資金だ fact21: もしもその知識レベルが架橋しないけど支払い資金であるとするとあの漫画読者は支払い資金でない fact22: もし仮に何らかの物が遣り過ごすとしたら当て擦らない fact23: 認め難いということはないものが抽出しないなら誤解され易い
fact16 -> int1: あの漫画読者は支払い資金であるかあるいはハーブティーでないかもしくは両方ともである; fact13 -> int2: もしあの漫画読者は支払い資金であるかあるいはハーブティーでないならば架橋しない; int1 & int2 -> int3: 「あの漫画読者は架橋しない」ということは確かである; int3 & fact2 -> int4: その知識レベルは認め難くないしまたそれは抽出しない; fact23 -> int5: もし仮にその知識レベルは認め難くないしまた抽出しないとしたら誤解され易い; int4 & int5 -> hypothesis;
その石造は抽出しない
fact32 -> int6: 仮に「その知識レベルは認め難くない」ということは正しいなら架橋しなくてかつ支払い資金だ; fact26 -> int7: 仮にあの六要素は漏れ易いということはないなら「それは背表紙だということはないかもしくはそれは誤解され易くないかもしくは両方である」ということは成り立たない; fact27 -> int8: もし仮にその点火装置は試食しないなら「それは掲載しないしそれに紹介致さない」ということは間違いだ; fact30 & fact31 -> int9: その点火装置は試食するということはない; int8 & int9 -> int10: 「その点火装置は掲載しないし加えてそれは紹介致すということはない」ということは嘘である; fact25 & int10 -> int11: 「あの六要素は漏れ易いということはない」ということは事実だ; int7 & int11 -> int12: 「あの六要素は背表紙でないかそれは誤解され易くない」ということは嘘である; int12 -> int13: 「「背表紙でないかまたは誤解され易くない」ということは間違っている」物はある; int13 & fact24 -> int14: その知識レベルは認め難くない; int6 & int14 -> int15: その知識レベルは架橋しないがそれは支払い資金だ; fact28 & int15 -> int16: あの漫画読者は支払い資金でない;
$facts$ = fact1: 仮に何らかのものが司法権であるかあるいはそれは家事労働であるということはないかあるいは両方だとすると建設しない fact2: もし仮にあの漫画読者が架橋しないならその知識レベルは認め難くないし抽出しない fact3: 仮に「あの健康保険被保険者証は練り歩かなくて試食しない」ということは本当でないならばあの点火装置は試食しない fact4: その知識レベルは認め難くない fact5: もし仮にあの漫画読者が架橋すればその知識レベルは支払い資金だ fact6: あの漫画読者はハーブティーだがしかし支払い資金でないならばそれは誤解され易い fact7: もしも「「「背表紙でないかまたは誤解され易いということはないか両方ともだ」ということは間違いでない」ということは間違っている」ものがあるとすればその知識レベルは認め難くない fact8: もしも「その点火装置は掲載しなくて紹介致すということはない」ということは誤っているとすれば「あの六要素は漏れ易くない」ということは成り立つ fact9: その知識レベルは漏れ易い fact10: もしあの漫画読者は支払い資金だとすると「架橋しない」ということは成り立つ fact11: 「あの健康保険被保険者証は練り歩かないしその上試食しない」ということは間違っている fact12: 仮にとある物がハーブティーでないけれどそれは支払い資金なら「それは誤解され易くない」ということは事実である fact13: もしもとあるものが支払い資金であるかまたはハーブティーでないかまたはどちらもだとするとそれは架橋しない fact14: もし何らかの物は試食しないなら「掲載するということはなくてそれに紹介致さない」ということは誤っている fact15: あの漫画読者が抽出するけれどハーブティーでないならばあの石造は抽出しない fact16: あの漫画読者はハーブティーでない fact17: その知識レベルはハーブティーだ fact18: もしその知識レベルは認め難いが抽出しないならそれは誤解され易い fact19: もしあるものは漏れ易いということはないなら「それは背表紙でないか誤解され易くないかあるいは両方だ」ということは成り立たない fact20: 認め難くないものは架橋しないけれど支払い資金だ fact21: もしもその知識レベルが架橋しないけど支払い資金であるとするとあの漫画読者は支払い資金でない fact22: もし仮に何らかの物が遣り過ごすとしたら当て擦らない fact23: 認め難いということはないものが抽出しないなら誤解され易い ; $hypothesis$ = その知識レベルは誤解され易い ; $proof$ = 
fact16 -> int1: あの漫画読者は支払い資金であるかあるいはハーブティーでないかもしくは両方ともである; fact13 -> int2: もしあの漫画読者は支払い資金であるかあるいはハーブティーでないならば架橋しない; int1 & int2 -> int3: 「あの漫画読者は架橋しない」ということは確かである; int3 & fact2 -> int4: その知識レベルは認め難くないしまたそれは抽出しない; fact23 -> int5: もし仮にその知識レベルは認め難くないしまた抽出しないとしたら誤解され易い; int4 & int5 -> 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: 認め難いということはないものが抽出しないなら誤解され易い

仮説: その知識レベルは誤解され易い
1. 事実16から、推論1: "あの漫画読者は支払い資金であるかあるいはハーブティーでないかもしくは両方ともである"が導かれる
2. 事実13から、推論2: "もしあの漫画読者は支払い資金であるかあるいはハーブティーでないならば架橋しない"が導かれる
3. 推論1と推論2から、推論3: "「あの漫画読者は架橋しない」ということは確かである"が導かれる
4. 推論3と事実2から、推論4: "その知識レベルは認め難くないしまたそれは抽出しない"が導かれる
5. 事実23から、推論5: "もし仮にその知識レベルは認め難くないしまた抽出しないとしたら誤解され易い"が導かれる
6. 推論4と推論5から、仮説が導かれる

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