そのハーバート・リードは当たり難くないしその上連想し易いということはない
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: 「「賛成し兼ねるし般若心経だ」ということは成り立たない」ものはある
fact6 -> int1: 仮に「その営業報告は連想し易い」ということは真実であるならば「それは喚かないがしかし幅である」ということは嘘だ; void -> assump1: 以下のように仮定する。その営業報告は連想し易い; int1 & assump1 -> int2: 「その営業報告は喚かない一方で幅である」ということは誤っている; int2 -> int3: 「「喚かない一方で幅である」ということは嘘な」ものはある; int3 & fact21 -> int4: この線形計画法は吟ずる; fact16 & fact23 -> int5: この線形計画法は吟ぜない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その営業報告は連想し易くない; int7 & fact15 -> hypothesis;
「「そのハーバート・リードは当たり難くないしまた連想し易いということはない」ということは誤っている」ということは成り立つ
fact36 -> int8: もしもそのハーバート・リードは吟ずるとしたら「当たり難いということはないし連想し易いということはない」ということは偽だ; fact27 -> int9: そのハーバート・リードが自然らしくないならば再上映でないか忘れ易くないか両方ともだ; fact26 -> int10: もしも「「この線形計画法は実施設計であるということはないかまたは参内するかあるいは両方ともである」ということは真実だ」ということは成り立つということはないとすると自然らしくない; fact35 -> int11: もしもこの線形計画法は般若心経でないとすれば「それは実施設計でないかもしくは参内する」ということは間違いだ; fact31 -> int12: もしこの当該健康診断が糖尿病患者でないとしたら般若心経でないしそれは賛成し兼ねらない; fact28 -> int13: もしこの医療上が繰らないとすると書き込みするしさらにそれは横領しない; fact30 -> int14: 「「茶蕎麦でないし復調する」ということは成り立たない」物はある; int14 & fact37 -> int15: この医療上は繰るということはない; int13 & int15 -> int16: この医療上は書き込みするが横領しない; int16 -> int17: とあるものは書き込みするがしかし横領しない; int17 & fact33 -> int18: この当該健康診断は糖尿病患者でない; int12 & int18 -> int19: この当該健康診断は般若心経でなくて賛成し兼ねらない; fact34 & int19 -> int20: この線形計画法は般若心経でない; int11 & int20 -> int21: 「この線形計画法は実施設計でないかそれは参内するかまたは両方ともだ」ということは成り立たない; int10 & int21 -> int22: この線形計画法は自然らしくない; fact29 & int22 -> int23: 「そのハーバート・リードは自然らしくない」ということは事実だ; int9 & int23 -> int24: そのハーバート・リードは再上映だということはないかあるいはそれは忘れ易くないかもしくはどちらもである; fact32 -> int25: 仮にそのハーバート・リードは再上映でないならそれは吟ずる;
$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: 「「賛成し兼ねるし般若心経だ」ということは成り立たない」ものはある ; $hypothesis$ = そのハーバート・リードは当たり難くないしその上連想し易いということはない ; $proof$ = 
fact6 -> int1: 仮に「その営業報告は連想し易い」ということは真実であるならば「それは喚かないがしかし幅である」ということは嘘だ; void -> assump1: 以下のように仮定する。その営業報告は連想し易い; int1 & assump1 -> int2: 「その営業報告は喚かない一方で幅である」ということは誤っている; int2 -> int3: 「「喚かない一方で幅である」ということは嘘な」ものはある; int3 & fact21 -> int4: この線形計画法は吟ずる; fact16 & fact23 -> int5: この線形計画法は吟ぜない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その営業報告は連想し易くない; int7 & fact15 -> 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: 「「賛成し兼ねるし般若心経だ」ということは成り立たない」ものはある

仮説: そのハーバート・リードは当たり難くないしその上連想し易いということはない
1. 事実6から、推論1: "仮に「その営業報告は連想し易い」ということは真実であるならば「それは喚かないがしかし幅である」ということは嘘だ"が導かれる
2. 仮定1: 以下のように仮定する。その営業報告は連想し易い
3. 推論1と仮定1から、推論2: "「その営業報告は喚かない一方で幅である」ということは誤っている"が導かれる
4. 推論2から、推論3: "「「喚かない一方で幅である」ということは嘘な」ものはある"が導かれる
5. 推論3と事実21から、推論4: "この線形計画法は吟ずる"が導かれる
6. 事実16と事実23から、推論5: "この線形計画法は吟ぜない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その営業報告は連想し易くない"が導かれる
9. 推論7と事実15から、仮説が導かれる

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