そのサルファは味わい深い
fact1: 仮にあのレシチンが革マル派メンバーならこの万有は疾し fact2: 押さえ難いものは化学構造式だ fact3: その排菌はとするということはない fact4: 仮に「「この万有は解し難いかもしくは引き算しないかまたは両方だ」ということは誤りだ」ということは成り立つとすればあのレシチンは解し難くない fact5: その排菌は疾しならば「そのサルファは高いが革マル派メンバーであるということはない」ということは成り立つということはない fact6: 仮にその排菌が甘辛いとするとこの脱石油は革マル派メンバーである fact7: もしもその排菌が革マル派メンバーでないとするとあのレシチンは高いかもしくは革マル派メンバーであるかまたは両方である fact8: 仮にその排菌がとするし甘辛いとしたらそれは革マル派メンバーでない fact9: あのレシチンが高いならこの万有は疾し fact10: もしもなにかは改善・改革し続けるとしたら「解し難いか引き算しないかまたはどちらもである」ということは偽である fact11: その排菌はとしないけれど甘辛い fact12: 「なんらかのものは高いが革マル派メンバーであるということはない」ということは成り立たないなら味わい深くない fact13: もし仮にあのレシチンが甚だしということはないししかもそれが押さえ難くないとするとその排菌は化学構造式でない fact14: そのサルファはとする fact15: 化学構造式は甚だし fact16: あの臓器障害は味わい深い fact17: もし仮にあのレシチンは革マル派メンバーであるなら「それは甘辛い」ということは間違いでない fact18: もし仮に「その排菌はとするということはないけれど甘辛い」ということは本当であるとすると革マル派メンバーであるということはない fact19: もしもこの脱石油は甚だしとすれば「そのサルファは味わい深い」ということは確かだ fact20: 仮にこの万有が疾しとすればこの脱石油は押さえ難い fact21: 「その排菌は高い」ということは真実ならあのレシチンはとする fact22: もしも何かは解し難くないならそれは甚だしないしその上それは押さえ難くない fact23: もし仮に何らかの物は化学構造式でないかあるいは疾しかもしくはどちらもであるとしたらそれは疾し
fact18 & fact11 -> int1: その排菌は革マル派メンバーでない; int1 & fact7 -> int2: あのレシチンは高いかあるいはそれは革マル派メンバーである; int2 & fact9 & fact1 -> int3: 「この万有は疾し」ということは偽でない; int3 & fact20 -> int4: この脱石油は押さえ難い; fact2 -> int5: もし仮にこの脱石油が押さえ難いならそれは化学構造式である; int4 & int5 -> int6: 「この脱石油は化学構造式だ」ということは確かだ; fact15 -> int7: もし仮にこの脱石油は化学構造式であるならそれは甚だし; int6 & int7 -> int8: この脱石油は甚だし; int8 & fact19 -> hypothesis;
そのサルファは味わい深くない
fact27 -> int9: もし「「そのサルファは高いけれど革マル派メンバーでない」ということは確かだ」ということは偽であるとしたら「味わい深くない」ということは事実である; fact29 -> int10: もしその排菌が化学構造式でないかまたはそれは疾しかもしくは両方であるとすればそれは疾し; fact24 -> int11: もしもあのレシチンが解し難いということはないならそれは甚だしないしそれに押さえ難くない; fact26 -> int12: もし仮に「この万有は改善・改革し続ける」ということは成り立つとしたら「解し難いかあるいは引き算するということはない」ということは嘘である;
$facts$ = fact1: 仮にあのレシチンが革マル派メンバーならこの万有は疾し fact2: 押さえ難いものは化学構造式だ fact3: その排菌はとするということはない fact4: 仮に「「この万有は解し難いかもしくは引き算しないかまたは両方だ」ということは誤りだ」ということは成り立つとすればあのレシチンは解し難くない fact5: その排菌は疾しならば「そのサルファは高いが革マル派メンバーであるということはない」ということは成り立つということはない fact6: 仮にその排菌が甘辛いとするとこの脱石油は革マル派メンバーである fact7: もしもその排菌が革マル派メンバーでないとするとあのレシチンは高いかもしくは革マル派メンバーであるかまたは両方である fact8: 仮にその排菌がとするし甘辛いとしたらそれは革マル派メンバーでない fact9: あのレシチンが高いならこの万有は疾し fact10: もしもなにかは改善・改革し続けるとしたら「解し難いか引き算しないかまたはどちらもである」ということは偽である fact11: その排菌はとしないけれど甘辛い fact12: 「なんらかのものは高いが革マル派メンバーであるということはない」ということは成り立たないなら味わい深くない fact13: もし仮にあのレシチンが甚だしということはないししかもそれが押さえ難くないとするとその排菌は化学構造式でない fact14: そのサルファはとする fact15: 化学構造式は甚だし fact16: あの臓器障害は味わい深い fact17: もし仮にあのレシチンは革マル派メンバーであるなら「それは甘辛い」ということは間違いでない fact18: もし仮に「その排菌はとするということはないけれど甘辛い」ということは本当であるとすると革マル派メンバーであるということはない fact19: もしもこの脱石油は甚だしとすれば「そのサルファは味わい深い」ということは確かだ fact20: 仮にこの万有が疾しとすればこの脱石油は押さえ難い fact21: 「その排菌は高い」ということは真実ならあのレシチンはとする fact22: もしも何かは解し難くないならそれは甚だしないしその上それは押さえ難くない fact23: もし仮に何らかの物は化学構造式でないかあるいは疾しかもしくはどちらもであるとしたらそれは疾し ; $hypothesis$ = そのサルファは味わい深い ; $proof$ = 
fact18 & fact11 -> int1: その排菌は革マル派メンバーでない; int1 & fact7 -> int2: あのレシチンは高いかあるいはそれは革マル派メンバーである; int2 & fact9 & fact1 -> int3: 「この万有は疾し」ということは偽でない; int3 & fact20 -> int4: この脱石油は押さえ難い; fact2 -> int5: もし仮にこの脱石油が押さえ難いならそれは化学構造式である; int4 & int5 -> int6: 「この脱石油は化学構造式だ」ということは確かだ; fact15 -> int7: もし仮にこの脱石油は化学構造式であるならそれは甚だし; int6 & int7 -> int8: この脱石油は甚だし; int8 & fact19 -> 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: もし仮に何らかの物は化学構造式でないかあるいは疾しかもしくはどちらもであるとしたらそれは疾し

仮説: そのサルファは味わい深い
1. 事実18と事実11から、推論1: "その排菌は革マル派メンバーでない"が導かれる
2. 推論1と事実7から、推論2: "あのレシチンは高いかあるいはそれは革マル派メンバーである"が導かれる
3. 推論2と事実9と事実1から、推論3: "「この万有は疾し」ということは偽でない"が導かれる
4. 推論3と事実20から、推論4: "この脱石油は押さえ難い"が導かれる
5. 事実2から、推論5: "もし仮にこの脱石油が押さえ難いならそれは化学構造式である"が導かれる
6. 推論4と推論5から、推論6: "「この脱石油は化学構造式だ」ということは確かだ"が導かれる
7. 事実15から、推論7: "もし仮にこの脱石油は化学構造式であるならそれは甚だし"が導かれる
8. 推論6と推論7から、推論8: "この脱石油は甚だし"が導かれる
9. 推論8と事実19から、仮説が導かれる

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