「あのレシチンは間断無いということはないかまたは新しかまたは両方だ」ということは確かでない
fact1: もしも「その無担保は怨霊鎮めでないかあるいはすっごい」ということは成り立たないならばあの消極は怨霊鎮めでない fact2: もし何かは全構造であるということはないとするとそれは仰臥しない fact3: 「あのガリレオ計画はバルパライソであるかもしくは全構造でないか両方ともだ」ということは本当だ fact4: もしなんらかの物は仰臥するしまたすっごいとすると一論文でない fact5: あのガリレオ計画が光ニューロだけれど一論文でないとするとその無担保は一論文でない fact6: あの消極が仰臥するしその上それは怨霊鎮めだ fact7: 仮に「その乗降客数はバルパライソでないがしかし忝い」ということは間違いならあのガリレオ計画は忝くない fact8: もし「なにがしかのものは忝いけれどそれは一論文でない」ということは嘘であるとしたらそれは光ニューロでない fact9: 忝くない物は光ニューロである一方で一論文でない fact10: もしあの消極が怨霊鎮めでないとしたらあのレシチンは間断無くなくて更に仰臥しない fact11: もしもその無担保は新しないとすると「あのレシチンは間断無くないかもしくは新し」ということは誤りである fact12: 仮に何らかの物が光ニューロでないとすればそれは新しないしかつ出稿しない fact13: もしあの消極は一論文でないとすると「その無担保は忝いが一論文でない」ということは成り立つということはない fact14: あのガリレオ計画がバルパライソであるかまたは全構造でないとするとあの消極はすっごい
fact6 -> int1: あの消極は仰臥する; fact3 & fact14 -> int2: あの消極はすっごい; int1 & int2 -> int3: あの消極は仰臥するしまたすっごい; fact4 -> int4: もしもあの消極は仰臥するし加えてすっごいとすると一論文でない; int3 & int4 -> int5: あの消極は一論文でない; int5 & fact13 -> int6: 「その無担保は忝いけれど一論文でない」ということは間違いである; fact8 -> int7: 「その無担保は忝いけど一論文でない」ということは成り立つということはないとすれば光ニューロでない; int6 & int7 -> int8: その無担保は光ニューロでない; fact12 -> int9: もし仮にその無担保は光ニューロでないとしたらそれは新しないし出稿しない; int8 & int9 -> int10: その無担保は新しないしそれは出稿しない; int10 -> int11: 「その無担保は新しない」ということは成り立つ; int11 & fact11 -> hypothesis;
あのレシチンは間断無くないかあるいは新しかどちらもである
fact18 -> int12: もし仮にあのガリレオ計画が忝くないならば光ニューロだがしかし一論文でない;
$facts$ = fact1: もしも「その無担保は怨霊鎮めでないかあるいはすっごい」ということは成り立たないならばあの消極は怨霊鎮めでない fact2: もし何かは全構造であるということはないとするとそれは仰臥しない fact3: 「あのガリレオ計画はバルパライソであるかもしくは全構造でないか両方ともだ」ということは本当だ fact4: もしなんらかの物は仰臥するしまたすっごいとすると一論文でない fact5: あのガリレオ計画が光ニューロだけれど一論文でないとするとその無担保は一論文でない fact6: あの消極が仰臥するしその上それは怨霊鎮めだ fact7: 仮に「その乗降客数はバルパライソでないがしかし忝い」ということは間違いならあのガリレオ計画は忝くない fact8: もし「なにがしかのものは忝いけれどそれは一論文でない」ということは嘘であるとしたらそれは光ニューロでない fact9: 忝くない物は光ニューロである一方で一論文でない fact10: もしあの消極が怨霊鎮めでないとしたらあのレシチンは間断無くなくて更に仰臥しない fact11: もしもその無担保は新しないとすると「あのレシチンは間断無くないかもしくは新し」ということは誤りである fact12: 仮に何らかの物が光ニューロでないとすればそれは新しないしかつ出稿しない fact13: もしあの消極は一論文でないとすると「その無担保は忝いが一論文でない」ということは成り立つということはない fact14: あのガリレオ計画がバルパライソであるかまたは全構造でないとするとあの消極はすっごい ; $hypothesis$ = 「あのレシチンは間断無いということはないかまたは新しかまたは両方だ」ということは確かでない ; $proof$ = 
fact6 -> int1: あの消極は仰臥する; fact3 & fact14 -> int2: あの消極はすっごい; int1 & int2 -> int3: あの消極は仰臥するしまたすっごい; fact4 -> int4: もしもあの消極は仰臥するし加えてすっごいとすると一論文でない; int3 & int4 -> int5: あの消極は一論文でない; int5 & fact13 -> int6: 「その無担保は忝いけれど一論文でない」ということは間違いである; fact8 -> int7: 「その無担保は忝いけど一論文でない」ということは成り立つということはないとすれば光ニューロでない; int6 & int7 -> int8: その無担保は光ニューロでない; fact12 -> int9: もし仮にその無担保は光ニューロでないとしたらそれは新しないし出稿しない; int8 & int9 -> int10: その無担保は新しないしそれは出稿しない; int10 -> int11: 「その無担保は新しない」ということは成り立つ; int11 & fact11 -> hypothesis; __PROVED__
事実1: もしも「その無担保は怨霊鎮めでないかあるいはすっごい」ということは成り立たないならばあの消極は怨霊鎮めでない
事実2: もし何かは全構造であるということはないとするとそれは仰臥しない
事実3: 「あのガリレオ計画はバルパライソであるかもしくは全構造でないか両方ともだ」ということは本当だ
事実4: もしなんらかの物は仰臥するしまたすっごいとすると一論文でない
事実5: あのガリレオ計画が光ニューロだけれど一論文でないとするとその無担保は一論文でない
事実6: あの消極が仰臥するしその上それは怨霊鎮めだ
事実7: 仮に「その乗降客数はバルパライソでないがしかし忝い」ということは間違いならあのガリレオ計画は忝くない
事実8: もし「なにがしかのものは忝いけれどそれは一論文でない」ということは嘘であるとしたらそれは光ニューロでない
事実9: 忝くない物は光ニューロである一方で一論文でない
事実10: もしあの消極が怨霊鎮めでないとしたらあのレシチンは間断無くなくて更に仰臥しない
事実11: もしもその無担保は新しないとすると「あのレシチンは間断無くないかもしくは新し」ということは誤りである
事実12: 仮に何らかの物が光ニューロでないとすればそれは新しないしかつ出稿しない
事実13: もしあの消極は一論文でないとすると「その無担保は忝いが一論文でない」ということは成り立つということはない
事実14: あのガリレオ計画がバルパライソであるかまたは全構造でないとするとあの消極はすっごい

仮説: 「あのレシチンは間断無いということはないかまたは新しかまたは両方だ」ということは確かでない
1. 事実6から、推論1: "あの消極は仰臥する"が導かれる
2. 事実3と事実14から、推論2: "あの消極はすっごい"が導かれる
3. 推論1と推論2から、推論3: "あの消極は仰臥するしまたすっごい"が導かれる
4. 事実4から、推論4: "もしもあの消極は仰臥するし加えてすっごいとすると一論文でない"が導かれる
5. 推論3と推論4から、推論5: "あの消極は一論文でない"が導かれる
6. 推論5と事実13から、推論6: "「その無担保は忝いけれど一論文でない」ということは間違いである"が導かれる
7. 事実8から、推論7: "「その無担保は忝いけど一論文でない」ということは成り立つということはないとすれば光ニューロでない"が導かれる
8. 推論6と推論7から、推論8: "その無担保は光ニューロでない"が導かれる
9. 事実12から、推論9: "もし仮にその無担保は光ニューロでないとしたらそれは新しないし出稿しない"が導かれる
10. 推論8と推論9から、推論10: "その無担保は新しないしそれは出稿しない"が導かれる
11. 推論10から、推論11: "「その無担保は新しない」ということは成り立つ"が導かれる
12. 推論11と事実11から、仮説が導かれる

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