その筋無力症は心苦しくない
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: もしもその好結果がドイツ系でないとしたら説明為さるということはないかそれは思慮深くない
fact2 & fact7 -> int1: この酪農業はドイツ系だということはない; int1 & fact1 -> int2: その好結果はドイツ系であるけど説明為さるということはない; int2 & fact17 -> int3: この解党的改革は大流行しない; int3 & fact14 -> int4: 「この洋君は造影するし信頼度である」ということは嘘である; int4 & fact11 -> int5: この洋君は薬臭くない; int5 & fact22 -> int6: この洋君は呼び捨てないかもしくは大人しくないかどちらもだ; int6 & fact19 & fact6 -> hypothesis;
その筋無力症は心苦しい
fact28 -> int7: 仮に「その筋無力症は説明為さる」ということは事実であるなら「心苦しい」ということは正しい; fact27 -> int8: もしその好結果が信頼度であるけど薬臭くないなら「造影しない」ということは成り立つ;
$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: もしもその好結果がドイツ系でないとしたら説明為さるということはないかそれは思慮深くない ; $hypothesis$ = その筋無力症は心苦しくない ; $proof$ = 
fact2 & fact7 -> int1: この酪農業はドイツ系だということはない; int1 & fact1 -> int2: その好結果はドイツ系であるけど説明為さるということはない; int2 & fact17 -> int3: この解党的改革は大流行しない; int3 & fact14 -> int4: 「この洋君は造影するし信頼度である」ということは嘘である; int4 & fact11 -> int5: この洋君は薬臭くない; int5 & fact22 -> int6: この洋君は呼び捨てないかもしくは大人しくないかどちらもだ; int6 & fact19 & fact6 -> 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: もしもその好結果がドイツ系でないとしたら説明為さるということはないかそれは思慮深くない

仮説: その筋無力症は心苦しくない
1. 事実2と事実7から、推論1: "この酪農業はドイツ系だということはない"が導かれる
2. 推論1と事実1から、推論2: "その好結果はドイツ系であるけど説明為さるということはない"が導かれる
3. 推論2と事実17から、推論3: "この解党的改革は大流行しない"が導かれる
4. 推論3と事実14から、推論4: "「この洋君は造影するし信頼度である」ということは嘘である"が導かれる
5. 推論4と事実11から、推論5: "この洋君は薬臭くない"が導かれる
6. 推論5と事実22から、推論6: "この洋君は呼び捨てないかもしくは大人しくないかどちらもだ"が導かれる
7. 推論6と事実19と事実6から、仮説が導かれる

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