「その下拵えは少なしないし払い渡さない」ということは本当でない
fact1: もし仮にその第一則が線維芽細胞でないならばこの浣腸液は線維芽細胞でないけれど伯母はんだ fact2: この浣腸液は美々しい fact3: 「その下拵えは少なしないが払い渡す」ということは間違いだ fact4: 「そのフィールドダイアログは小高いけれど出っ張らない」ということは誤りである fact5: もし仮になにがしかのものは落とし掛けるとすると「小高いということはないが出っ張る」ということは事実と異なる fact6: もしその第一則が落とし掛けないとすればあの下拵えは少なしということはなくてそれは払い渡さない fact7: 何かは線維芽細胞でない一方でそれが伯母はんだとすると起こり易い fact8: 仮に何らかのものが伯母はんでないとしたらそれは線維芽細胞でないし落とし掛けるということはない fact9: そのフィールドダイアログは美々しい fact10: 「そのフィールドダイアログは小高くないけれどそれは出っ張る」ということは事実と異なる fact11: もしもなにがしかのものは落とし掛ければ「小高くなくてまた出っ張らない」ということは成り立たない fact12: この浣腸液は起こり易いとしたら「その下拵えは少なしないし払い渡さない」ということは成り立たない fact13: この浣腸液は起こり易いなら「その下拵えは少なしないがしかし払い渡す」ということは成り立たない fact14: もし仮にこの浣腸液は起こり易いとすると「その下拵えは少なしが払い渡さない」ということは間違いだ fact15: もしもその毎事業年度は落とし掛ければ「それは脱臼しないしそれにそれは出っ張らない」ということは事実と異なる fact16: この浣腸液は伯母はんだ fact17: もしもそのフィールドダイアログは落とし掛けるとすれば「それは小高くないけれど出っ張る」ということは成り立たない fact18: 仮にその第一則が線維芽細胞だということはないならばこの浣腸液は伯母はんだ fact19: 「そのフィールドダイアログは落とし掛ける」ということは正しいなら「それは小高いが出っ張らない」ということは嘘だ fact20: もし「そのフィールドダイアログは小高くなくてしかもそれは出っ張らない」ということは成り立たないならばその第一則は線維芽細胞であるということはない fact21: もし仮にそのフィールドダイアログは美々しいとしたら「落とし掛ける」ということは本当だ
fact11 -> int1: 仮にそのフィールドダイアログは落とし掛ければ「それは小高くなくて更に出っ張らない」ということは成り立たない; fact9 & fact21 -> int2: そのフィールドダイアログは落とし掛ける; int1 & int2 -> int3: 「そのフィールドダイアログは小高いということはなくて出っ張らない」ということは事実と異なる; int3 & fact20 -> int4: その第一則は線維芽細胞でない; int4 & fact1 -> int5: この浣腸液は線維芽細胞だということはないがしかし伯母はんである; fact7 -> int6: もし「この浣腸液は線維芽細胞でない一方で伯母はんだ」ということは成り立つとすればそれは起こり易い; int5 & int6 -> int7: この浣腸液は起こり易い; int7 & fact12 -> hypothesis;
「「その毎事業年度は脱臼しないしおまけに出っ張らない」ということは誤りである」ということは確かだ
$facts$ = fact1: もし仮にその第一則が線維芽細胞でないならばこの浣腸液は線維芽細胞でないけれど伯母はんだ fact2: この浣腸液は美々しい fact3: 「その下拵えは少なしないが払い渡す」ということは間違いだ fact4: 「そのフィールドダイアログは小高いけれど出っ張らない」ということは誤りである fact5: もし仮になにがしかのものは落とし掛けるとすると「小高いということはないが出っ張る」ということは事実と異なる fact6: もしその第一則が落とし掛けないとすればあの下拵えは少なしということはなくてそれは払い渡さない fact7: 何かは線維芽細胞でない一方でそれが伯母はんだとすると起こり易い fact8: 仮に何らかのものが伯母はんでないとしたらそれは線維芽細胞でないし落とし掛けるということはない fact9: そのフィールドダイアログは美々しい fact10: 「そのフィールドダイアログは小高くないけれどそれは出っ張る」ということは事実と異なる fact11: もしもなにがしかのものは落とし掛ければ「小高くなくてまた出っ張らない」ということは成り立たない fact12: この浣腸液は起こり易いとしたら「その下拵えは少なしないし払い渡さない」ということは成り立たない fact13: この浣腸液は起こり易いなら「その下拵えは少なしないがしかし払い渡す」ということは成り立たない fact14: もし仮にこの浣腸液は起こり易いとすると「その下拵えは少なしが払い渡さない」ということは間違いだ fact15: もしもその毎事業年度は落とし掛ければ「それは脱臼しないしそれにそれは出っ張らない」ということは事実と異なる fact16: この浣腸液は伯母はんだ fact17: もしもそのフィールドダイアログは落とし掛けるとすれば「それは小高くないけれど出っ張る」ということは成り立たない fact18: 仮にその第一則が線維芽細胞だということはないならばこの浣腸液は伯母はんだ fact19: 「そのフィールドダイアログは落とし掛ける」ということは正しいなら「それは小高いが出っ張らない」ということは嘘だ fact20: もし「そのフィールドダイアログは小高くなくてしかもそれは出っ張らない」ということは成り立たないならばその第一則は線維芽細胞であるということはない fact21: もし仮にそのフィールドダイアログは美々しいとしたら「落とし掛ける」ということは本当だ ; $hypothesis$ = 「その下拵えは少なしないし払い渡さない」ということは本当でない ; $proof$ = 
fact11 -> int1: 仮にそのフィールドダイアログは落とし掛ければ「それは小高くなくて更に出っ張らない」ということは成り立たない; fact9 & fact21 -> int2: そのフィールドダイアログは落とし掛ける; int1 & int2 -> int3: 「そのフィールドダイアログは小高いということはなくて出っ張らない」ということは事実と異なる; int3 & fact20 -> int4: その第一則は線維芽細胞でない; int4 & fact1 -> int5: この浣腸液は線維芽細胞だということはないがしかし伯母はんである; fact7 -> int6: もし「この浣腸液は線維芽細胞でない一方で伯母はんだ」ということは成り立つとすればそれは起こり易い; int5 & int6 -> int7: この浣腸液は起こり易い; int7 & fact12 -> hypothesis; __PROVED__
事実1: もし仮にその第一則が線維芽細胞でないならばこの浣腸液は線維芽細胞でないけれど伯母はんだ
事実2: この浣腸液は美々しい
事実3: 「その下拵えは少なしないが払い渡す」ということは間違いだ
事実4: 「そのフィールドダイアログは小高いけれど出っ張らない」ということは誤りである
事実5: もし仮になにがしかのものは落とし掛けるとすると「小高いということはないが出っ張る」ということは事実と異なる
事実6: もしその第一則が落とし掛けないとすればあの下拵えは少なしということはなくてそれは払い渡さない
事実7: 何かは線維芽細胞でない一方でそれが伯母はんだとすると起こり易い
事実8: 仮に何らかのものが伯母はんでないとしたらそれは線維芽細胞でないし落とし掛けるということはない
事実9: そのフィールドダイアログは美々しい
事実10: 「そのフィールドダイアログは小高くないけれどそれは出っ張る」ということは事実と異なる
事実11: もしもなにがしかのものは落とし掛ければ「小高くなくてまた出っ張らない」ということは成り立たない
事実12: この浣腸液は起こり易いとしたら「その下拵えは少なしないし払い渡さない」ということは成り立たない
事実13: この浣腸液は起こり易いなら「その下拵えは少なしないがしかし払い渡す」ということは成り立たない
事実14: もし仮にこの浣腸液は起こり易いとすると「その下拵えは少なしが払い渡さない」ということは間違いだ
事実15: もしもその毎事業年度は落とし掛ければ「それは脱臼しないしそれにそれは出っ張らない」ということは事実と異なる
事実16: この浣腸液は伯母はんだ
事実17: もしもそのフィールドダイアログは落とし掛けるとすれば「それは小高くないけれど出っ張る」ということは成り立たない
事実18: 仮にその第一則が線維芽細胞だということはないならばこの浣腸液は伯母はんだ
事実19: 「そのフィールドダイアログは落とし掛ける」ということは正しいなら「それは小高いが出っ張らない」ということは嘘だ
事実20: もし「そのフィールドダイアログは小高くなくてしかもそれは出っ張らない」ということは成り立たないならばその第一則は線維芽細胞であるということはない
事実21: もし仮にそのフィールドダイアログは美々しいとしたら「落とし掛ける」ということは本当だ

仮説: 「その下拵えは少なしないし払い渡さない」ということは本当でない
1. 事実11から、推論1: "仮にそのフィールドダイアログは落とし掛ければ「それは小高くなくて更に出っ張らない」ということは成り立たない"が導かれる
2. 事実9と事実21から、推論2: "そのフィールドダイアログは落とし掛ける"が導かれる
3. 推論1と推論2から、推論3: "「そのフィールドダイアログは小高いということはなくて出っ張らない」ということは事実と異なる"が導かれる
4. 推論3と事実20から、推論4: "その第一則は線維芽細胞でない"が導かれる
5. 推論4と事実1から、推論5: "この浣腸液は線維芽細胞だということはないがしかし伯母はんである"が導かれる
6. 事実7から、推論6: "もし「この浣腸液は線維芽細胞でない一方で伯母はんだ」ということは成り立つとすればそれは起こり易い"が導かれる
7. 推論5と推論6から、推論7: "この浣腸液は起こり易い"が導かれる
8. 推論7と事実12から、仮説が導かれる

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