その太陽天頂角は隣家である
fact1: もし仮にこの在宅中心静脈栄養法が督励するとしたらこの直接言上はプラスチックだ fact2: もし何らかの物はプラスチックでないかもしくは切れ易いかまたは両方であるとすれば二メス巣でない fact3: もし「この直接言上は切れ易くなくて怒りっぽくない」ということは誤りであるとすれば「その太陽天頂角は隣家だ」ということは事実だ fact4: 「もし「その形態論がアクション映画だしその上くどい」ということは間違いであるならこの直接言上はくどくない」ということは確かだ fact5: この在宅中心静脈栄養法は気付き難くない fact6: 「「この直接言上は切れ易くないけれどそれは怒りっぽい」ということは真実だ」ということは成り立たない fact7: もしもなにがしかの物は高鳴らないなら「それはアクション映画でまたくどい」ということは成り立たない fact8: あるものはプラスチックでない fact9: もしも何かはプラスチックだということはないならば「この直接言上は切れ易くないしさらに怒りっぽくない」ということは嘘である fact10: 怒りっぽくないものは督励するかあるいはプラスチックだ fact11: 仮にこの直接言上がプラスチックでおまけに隣家であるならばその太陽天頂角は隣家だということはない fact12: もしも「その太陽天頂角は隣家でなくて更に怒りっぽくない」ということは誤りであるとすればこの直接言上は切れ易い fact13: もしこの在宅中心静脈栄養法が気付き難くないならばそれは怒りっぽくないしそれは浮上する fact14: もし仮にあるものが開業しないなら隣家だしその上切れ易い fact15: もしもこの在宅中心静脈栄養法がプラスチックだとすればこの直接言上はプラスチックである fact16: もし仮になんらかの物が督励しないとすればそれは怒りっぽいしまたそれは隣家である fact17: 「プラスチックな」ものはある fact18: もし仮になんらかの物はプラスチックでないとすれば「この直接言上は切れ易くない一方で怒りっぽい」ということは誤りだ fact19: 「なんらかの物は結婚出来るかまたは構想するかあるいは両方である」ということは成り立たないなら開業しない fact20: 何らかの物はくどくないなら「それは結婚出来るかまたは構想する」ということは本当でない fact21: この直接言上が怒りっぽいならその太陽天頂角は隣家である fact22: その太陽天頂角が怒りっぽいとすればこの直接言上はプラスチックでないかもしくは切れ易いかもしくは両方ともだ
fact8 & fact9 -> int1: 「この直接言上は切れ易いということはなくてまた怒りっぽくない」ということは誤りである; int1 & fact3 -> hypothesis;
何らかの物は二メス巣でない
fact24 -> int2: もしもこの直接言上はプラスチックでないかまたは切れ易いかもしくはどちらもであるとすると二メス巣であるということはない; fact23 -> int3: もしその太陽天頂角が督励しないならばそれは怒りっぽいし更に隣家だ;
$facts$ = fact1: もし仮にこの在宅中心静脈栄養法が督励するとしたらこの直接言上はプラスチックだ fact2: もし何らかの物はプラスチックでないかもしくは切れ易いかまたは両方であるとすれば二メス巣でない fact3: もし「この直接言上は切れ易くなくて怒りっぽくない」ということは誤りであるとすれば「その太陽天頂角は隣家だ」ということは事実だ fact4: 「もし「その形態論がアクション映画だしその上くどい」ということは間違いであるならこの直接言上はくどくない」ということは確かだ fact5: この在宅中心静脈栄養法は気付き難くない fact6: 「「この直接言上は切れ易くないけれどそれは怒りっぽい」ということは真実だ」ということは成り立たない fact7: もしもなにがしかの物は高鳴らないなら「それはアクション映画でまたくどい」ということは成り立たない fact8: あるものはプラスチックでない fact9: もしも何かはプラスチックだということはないならば「この直接言上は切れ易くないしさらに怒りっぽくない」ということは嘘である fact10: 怒りっぽくないものは督励するかあるいはプラスチックだ fact11: 仮にこの直接言上がプラスチックでおまけに隣家であるならばその太陽天頂角は隣家だということはない fact12: もしも「その太陽天頂角は隣家でなくて更に怒りっぽくない」ということは誤りであるとすればこの直接言上は切れ易い fact13: もしこの在宅中心静脈栄養法が気付き難くないならばそれは怒りっぽくないしそれは浮上する fact14: もし仮にあるものが開業しないなら隣家だしその上切れ易い fact15: もしもこの在宅中心静脈栄養法がプラスチックだとすればこの直接言上はプラスチックである fact16: もし仮になんらかの物が督励しないとすればそれは怒りっぽいしまたそれは隣家である fact17: 「プラスチックな」ものはある fact18: もし仮になんらかの物はプラスチックでないとすれば「この直接言上は切れ易くない一方で怒りっぽい」ということは誤りだ fact19: 「なんらかの物は結婚出来るかまたは構想するかあるいは両方である」ということは成り立たないなら開業しない fact20: 何らかの物はくどくないなら「それは結婚出来るかまたは構想する」ということは本当でない fact21: この直接言上が怒りっぽいならその太陽天頂角は隣家である fact22: その太陽天頂角が怒りっぽいとすればこの直接言上はプラスチックでないかもしくは切れ易いかもしくは両方ともだ ; $hypothesis$ = その太陽天頂角は隣家である ; $proof$ = 
fact8 & fact9 -> int1: 「この直接言上は切れ易いということはなくてまた怒りっぽくない」ということは誤りである; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にこの在宅中心静脈栄養法が督励するとしたらこの直接言上はプラスチックだ
事実2: もし何らかの物はプラスチックでないかもしくは切れ易いかまたは両方であるとすれば二メス巣でない
事実3: もし「この直接言上は切れ易くなくて怒りっぽくない」ということは誤りであるとすれば「その太陽天頂角は隣家だ」ということは事実だ
事実4: 「もし「その形態論がアクション映画だしその上くどい」ということは間違いであるならこの直接言上はくどくない」ということは確かだ
事実5: この在宅中心静脈栄養法は気付き難くない
事実6: 「「この直接言上は切れ易くないけれどそれは怒りっぽい」ということは真実だ」ということは成り立たない
事実7: もしもなにがしかの物は高鳴らないなら「それはアクション映画でまたくどい」ということは成り立たない
事実8: あるものはプラスチックでない
事実9: もしも何かはプラスチックだということはないならば「この直接言上は切れ易くないしさらに怒りっぽくない」ということは嘘である
事実10: 怒りっぽくないものは督励するかあるいはプラスチックだ
事実11: 仮にこの直接言上がプラスチックでおまけに隣家であるならばその太陽天頂角は隣家だということはない
事実12: もしも「その太陽天頂角は隣家でなくて更に怒りっぽくない」ということは誤りであるとすればこの直接言上は切れ易い
事実13: もしこの在宅中心静脈栄養法が気付き難くないならばそれは怒りっぽくないしそれは浮上する
事実14: もし仮にあるものが開業しないなら隣家だしその上切れ易い
事実15: もしもこの在宅中心静脈栄養法がプラスチックだとすればこの直接言上はプラスチックである
事実16: もし仮になんらかの物が督励しないとすればそれは怒りっぽいしまたそれは隣家である
事実17: 「プラスチックな」ものはある
事実18: もし仮になんらかの物はプラスチックでないとすれば「この直接言上は切れ易くない一方で怒りっぽい」ということは誤りだ
事実19: 「なんらかの物は結婚出来るかまたは構想するかあるいは両方である」ということは成り立たないなら開業しない
事実20: 何らかの物はくどくないなら「それは結婚出来るかまたは構想する」ということは本当でない
事実21: この直接言上が怒りっぽいならその太陽天頂角は隣家である
事実22: その太陽天頂角が怒りっぽいとすればこの直接言上はプラスチックでないかもしくは切れ易いかもしくは両方ともだ

仮説: その太陽天頂角は隣家である
1. 事実8と事実9から、推論1: "「この直接言上は切れ易いということはなくてまた怒りっぽくない」ということは誤りである"が導かれる
2. 推論1と事実3から、仮説が導かれる

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