この病原性大腸菌はディルである
fact1: 判別し易いしまた厳めしい物はディルだ fact2: もし仮にこの国民が零れ出るしまた惜しいとしたらその総選挙後は零れ出ない fact3: 仮にこの病原性大腸菌が厳めしいかまたはそれは絡げるかもしくはどちらもだとすると「ディルでない」ということは真実である fact4: この国民は継承者である fact5: もしもこの斜歯歯車が惜しくないならばこの病原性大腸菌は判別し易いけれど厳めしかない fact6: 「もしその精緻化は変容しないならば「その総選挙後は絡げるが物凄ーくない」ということは成り立たない」ということは確かである fact7: その精緻化は惜しくない fact8: もし仮にこの国民は御呼びに成るとすると「この斜歯歯車は零れ出る」ということは真実だ fact9: もしこの斜歯歯車がフィリピン国軍であるとすればこの国民は厳めしい fact10: もしも「この御互い様は改称しないかあるいはそれは貧しい」ということは成り立たないとすればフランス人らしくない fact11: もし仮にあるものが厩務員であるかあるいはそれは御呼びに成るということはないか両方ともであるとすると御呼びに成らない fact12: 仮に「その総選挙後は零れ出ない」ということは成り立つとするとそれは厩務員であるかまたは御呼びに成らないかまたは両方である fact13: その精緻化は変容しない fact14: 判別し易い物が厳めしくらないとするとディルだ fact15: その非才は変容しない fact16: 仮にこの斜歯歯車が判別し易いとするとこの国民は厳めしい fact17: もしもこの御互い様は惜しいなら「この国民は惜しい」ということは事実である fact18: もしもその総選挙後はディルでないならば「「この病原性大腸菌は物凄ーくないしまた絡げない」ということは偽だ」ということは確かである fact19: その精緻化は変容しないなら「その総選挙後は絡げなくて物凄ーくない」ということは成り立たない fact20: フランス人らしくない物は惜しくておまけに考え易い fact21: 「その総選挙後は絡げるということはないけれど物凄ーい」ということは偽だ fact22: 仮に「その精緻化は変容しない」ということは真実だとしたら「その総選挙後は絡げない一方で物凄ーい」ということは誤っている fact23: この斜歯歯車が壊れ易くないとすると判別し易いかもしくはフィリピン国軍であるかもしくは両方だ fact24: もしなんらかのものが厳めしいとすると零れ出る fact25: なにがしかのものが零れ出るかもしくは厩務員であるかどちらもであるとすると惜しくない fact26: この斜歯歯車は壊れ易くない fact27: もしも「その総選挙後は絡げなくて更に物凄ーくない」ということは確かでないとすればこの国民は御呼びに成る
fact19 & fact13 -> int1: 「その総選挙後は絡げるということはないし加えて物凄ーいということはない」ということは成り立つということはない; int1 & fact27 -> int2: この国民は御呼びに成る; int2 & fact8 -> int3: この斜歯歯車は零れ出る; int3 -> int4: この斜歯歯車は零れ出るか厩務員であるかまたは両方ともである; fact25 -> int5: もしこの斜歯歯車が零れ出るかまたは厩務員であるかもしくはどちらもならばそれは惜しくない; int4 & int5 -> int6: この斜歯歯車は惜しいということはない; int6 & fact5 -> int7: この病原性大腸菌は判別し易いけれどそれは厳めしかない; fact14 -> int8: 仮にこの病原性大腸菌は判別し易いけど厳めしくらないとしたらディルだ; int7 & int8 -> hypothesis;
この病原性大腸菌はディルでない
fact35 -> int9: 仮にその総選挙後が厩務員であるかまたは御呼びに成らないとしたら御呼びに成らない; fact31 -> int10: もしこの国民が厳めしいとすると零れ出る; fact37 & fact34 -> int11: この斜歯歯車は判別し易いかフィリピン国軍である; int11 & fact36 & fact28 -> int12: 「この国民は厳めしい」ということは間違いだということはない; int10 & int12 -> int13: この国民は零れ出る; fact32 -> int14: もしもこの御互い様がフランス人らしくないならそれは惜しくてそれは考え易い;
$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: もしなんらかのものが厳めしいとすると零れ出る fact25: なにがしかのものが零れ出るかもしくは厩務員であるかどちらもであるとすると惜しくない fact26: この斜歯歯車は壊れ易くない fact27: もしも「その総選挙後は絡げなくて更に物凄ーくない」ということは確かでないとすればこの国民は御呼びに成る ; $hypothesis$ = この病原性大腸菌はディルである ; $proof$ = 
fact19 & fact13 -> int1: 「その総選挙後は絡げるということはないし加えて物凄ーいということはない」ということは成り立つということはない; int1 & fact27 -> int2: この国民は御呼びに成る; int2 & fact8 -> int3: この斜歯歯車は零れ出る; int3 -> int4: この斜歯歯車は零れ出るか厩務員であるかまたは両方ともである; fact25 -> int5: もしこの斜歯歯車が零れ出るかまたは厩務員であるかもしくはどちらもならばそれは惜しくない; int4 & int5 -> int6: この斜歯歯車は惜しいということはない; int6 & fact5 -> int7: この病原性大腸菌は判別し易いけれどそれは厳めしかない; fact14 -> int8: 仮にこの病原性大腸菌は判別し易いけど厳めしくらないとしたらディルだ; int7 & int8 -> 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: もしなんらかのものが厳めしいとすると零れ出る
事実25: なにがしかのものが零れ出るかもしくは厩務員であるかどちらもであるとすると惜しくない
事実26: この斜歯歯車は壊れ易くない
事実27: もしも「その総選挙後は絡げなくて更に物凄ーくない」ということは確かでないとすればこの国民は御呼びに成る

仮説: この病原性大腸菌はディルである
1. 事実19と事実13から、推論1: "「その総選挙後は絡げるということはないし加えて物凄ーいということはない」ということは成り立つということはない"が導かれる
2. 推論1と事実27から、推論2: "この国民は御呼びに成る"が導かれる
3. 推論2と事実8から、推論3: "この斜歯歯車は零れ出る"が導かれる
4. 推論3から、推論4: "この斜歯歯車は零れ出るか厩務員であるかまたは両方ともである"が導かれる
5. 事実25から、推論5: "もしこの斜歯歯車が零れ出るかまたは厩務員であるかもしくはどちらもならばそれは惜しくない"が導かれる
6. 推論4と推論5から、推論6: "この斜歯歯車は惜しいということはない"が導かれる
7. 推論6と事実5から、推論7: "この病原性大腸菌は判別し易いけれどそれは厳めしかない"が導かれる
8. 事実14から、推論8: "仮にこの病原性大腸菌は判別し易いけど厳めしくらないとしたらディルだ"が導かれる
9. 推論7と推論8から、仮説が導かれる

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