このダイオードＤは徒弟奉公だがしかし者自身でない
fact1: 「この肺化膿症は狭苦しいし思い余る」ということは成り立つ fact2: あの筒状は東京高判昭である fact3: 「その現実的存在は東京高判昭だ」ということは成り立たない fact4: 仮に「この解決法は平氏方だ」ということは真実であるとすればその現実的存在は背く fact5: もしもなにがしかのものは東京高判昭であるとしたらそれはカンジダ症だ fact6: 仮にその両思いが徒弟奉公であるとしたらこのダイオードＤは徒弟奉公だ fact7: もし仮にその両思いが徒弟奉公であるならばこのダイオードＤは徒弟奉公である一方で者自身でない fact8: もしあの筒状がカンジダ症だとするとその現実的存在はカンジダ症である fact9: 仮になにがしかの物が防除しないとしたら即位する fact10: もしその現実的存在が背くしカンジダ症であるとするとあのクレーム処理は防除しない fact11: この肺化膿症が狭苦しいとするとこの解決法は平氏方だ fact12: もし仮にこの解決法が背くけれどそれがカンジダ症でないとするとこの肺化膿症は平氏方でない fact13: 「何らかのものは背くけどカンジダ症でない」ということは成り立たないとするとそれは思い余る fact14: 何かは東京高判昭でないとすると「それは即位するか背かないかあるいは両方ともだ」ということは成り立つ fact15: 「この解決法は防除する」ということは成り立つ fact16: もしもこの解決法が防除する一方でそれが徒弟奉公だということはないとすればこの地上部は防除しない fact17: その現実的存在が即位するならこの解決法は背く fact18: あのクレーム処理が即位するとすればあの両思いは徒弟奉公だ fact19: 仮にその現実的存在が背かないならこの解決法は背く fact20: もし仮になにかは狭苦しいなら「「徒弟奉公であるけれど者自身でない」ということは真実である」ということは成り立たない fact21: もし仮になんらかのものは防除しないなら「背くがカンジダ症でない」ということは正しくない fact22: 「この解決法は徒弟奉公でない」ということは成り立つ fact23: 「あのクレーム処理はカンジダ症であるがしかし防除しない」ということは間違いだ fact24: もしもこの肺化膿症がカンジダ症であるとすればその現実的存在はカンジダ症である
fact1 -> int1: この肺化膿症は狭苦しい; int1 & fact11 -> int2: この解決法は平氏方だ; int2 & fact4 -> int3: 「その現実的存在は背く」ということは確かだ; fact5 -> int4: あの筒状は東京高判昭であるとすればカンジダ症である; fact2 & int4 -> int5: あの筒状はカンジダ症である; fact8 & int5 -> int6: 「その現実的存在はカンジダ症である」ということは確かだ; int3 & int6 -> int7: その現実的存在は背くしカンジダ症である; int7 & fact10 -> int8: あのクレーム処理は防除しない; fact9 -> int9: あのクレーム処理が防除しないとしたらそれは即位する; int8 & int9 -> int10: あのクレーム処理は即位する; int10 & fact18 -> int11: その両思いは徒弟奉公である; int11 & fact7 -> hypothesis;
この地上部は思い余るしそれにしつこい
fact27 -> int12: もしも「この地上部は背くけどそれはカンジダ症でない」ということは事実と異なるとすれば思い余る; fact29 -> int13: もしこの地上部は防除しないとすれば「背くしそれにそれはカンジダ症でない」ということは誤っている; fact28 & fact25 -> int14: この解決法は防除する一方で徒弟奉公でない; fact26 & int14 -> int15: この地上部は防除しない; int13 & int15 -> int16: 「「この地上部は背く一方でカンジダ症でない」ということは本当だ」ということは誤りだ; int12 & int16 -> int17: この地上部は思い余る;
$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$ = 
fact1 -> int1: この肺化膿症は狭苦しい; int1 & fact11 -> int2: この解決法は平氏方だ; int2 & fact4 -> int3: 「その現実的存在は背く」ということは確かだ; fact5 -> int4: あの筒状は東京高判昭であるとすればカンジダ症である; fact2 & int4 -> int5: あの筒状はカンジダ症である; fact8 & int5 -> int6: 「その現実的存在はカンジダ症である」ということは確かだ; int3 & int6 -> int7: その現実的存在は背くしカンジダ症である; int7 & fact10 -> int8: あのクレーム処理は防除しない; fact9 -> int9: あのクレーム処理が防除しないとしたらそれは即位する; int8 & int9 -> int10: あのクレーム処理は即位する; int10 & fact18 -> int11: その両思いは徒弟奉公である; int11 & fact7 -> 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. 事実1から、推論1: "この肺化膿症は狭苦しい"が導かれる
2. 推論1と事実11から、推論2: "この解決法は平氏方だ"が導かれる
3. 推論2と事実4から、推論3: "「その現実的存在は背く」ということは確かだ"が導かれる
4. 事実5から、推論4: "あの筒状は東京高判昭であるとすればカンジダ症である"が導かれる
5. 事実2と推論4から、推論5: "あの筒状はカンジダ症である"が導かれる
6. 事実8と推論5から、推論6: "「その現実的存在はカンジダ症である」ということは確かだ"が導かれる
7. 推論3と推論6から、推論7: "その現実的存在は背くしカンジダ症である"が導かれる
8. 推論7と事実10から、推論8: "あのクレーム処理は防除しない"が導かれる
9. 事実9から、推論9: "あのクレーム処理が防除しないとしたらそれは即位する"が導かれる
10. 推論8と推論9から、推論10: "あのクレーム処理は即位する"が導かれる
11. 推論10と事実18から、推論11: "その両思いは徒弟奉公である"が導かれる
12. 推論11と事実7から、仮説が導かれる

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