「あの生産系は非線形問題であるししかも代議機関だ」ということは嘘だ
fact1: もしある物は管理し易いということはないとすれば「非線形問題でまた代議機関だ」ということは成り立つということはない fact2: もし仮にとある物が講演するなら代議機関である fact3: もし仮にこの出火件数が高速・軽量化しないとすればあの生産系は講演するし加えて管理し易い fact4: あの生産系は新規開拓である fact5: もし仮にあの生産系は中心静脈カテーテルでないならば「新規開拓でなくてまた非線形問題でない」ということは本当でない fact6: あの生産系は抱き合うし痒い fact7: あの生産系が投資比率であるしそれが取り外せれば中心静脈カテーテルであるということはない fact8: この出火件数は矯正教育だ fact9: もし仮にあの生産系が抱き合うならそれは投資比率だ fact10: ある物は新規開拓であるかあるいは講演するかもしくは両方であるなら「それは管理し易くない」ということは正しい fact11: あの生産系は取り外せるがしかし憂くない fact12: 仮にこの出火件数が矯正教育であるしまたそれが全面降伏するとすれば高速・軽量化しない fact13: もしもとある物が全面降伏するとしたらそれは狡くない fact14: もしも「なにがしかの物は新規開拓であるということはないしさらに非線形問題でない」ということは事実と異なるとすればそれは非線形問題だ
fact4 -> int1: 「あの生産系は新規開拓であるかまたは講演するか両方である」ということは事実と異ならない; fact10 -> int2: もし仮にあの生産系が新規開拓であるかもしくはそれは講演するかまたはどちらもであるとすれば管理し易くない; int1 & int2 -> int3: あの生産系は管理し易くない; fact1 -> int4: 仮にあの生産系は管理し易くないとすれば「非線形問題だししかも代議機関である」ということは成り立つということはない; int3 & int4 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); fact10 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact1 -> int4: ¬{C}{a} -> ¬({E}{a} & {D}{a}); int3 & int4 -> hypothesis;
あの生産系は非線形問題であるしまた代議機関だ
fact22 -> int5: もし仮に「あの生産系は新規開拓でないし非線形問題であるということはない」ということは確かでないなら非線形問題である; fact20 -> int6: あの生産系は抱き合う; fact18 & int6 -> int7: 「あの生産系は投資比率だ」ということは事実である; fact16 -> int8: 「あの生産系は取り外せる」ということは事実と異なるということはない; int7 & int8 -> int9: あの生産系は投資比率であるし取り外せる; fact21 & int9 -> int10: あの生産系は中心静脈カテーテルでない; fact17 & int10 -> int11: 「あの生産系は新規開拓でないしまた非線形問題だということはない」ということは誤っている; int5 & int11 -> int12: 「あの生産系は非線形問題だ」ということは確かである; fact24 -> int13: もしもあの生産系は講演するとすると「代議機関だ」ということは成り立つ;
$facts$ = fact1: もしある物は管理し易いということはないとすれば「非線形問題でまた代議機関だ」ということは成り立つということはない fact2: もし仮にとある物が講演するなら代議機関である fact3: もし仮にこの出火件数が高速・軽量化しないとすればあの生産系は講演するし加えて管理し易い fact4: あの生産系は新規開拓である fact5: もし仮にあの生産系は中心静脈カテーテルでないならば「新規開拓でなくてまた非線形問題でない」ということは本当でない fact6: あの生産系は抱き合うし痒い fact7: あの生産系が投資比率であるしそれが取り外せれば中心静脈カテーテルであるということはない fact8: この出火件数は矯正教育だ fact9: もし仮にあの生産系が抱き合うならそれは投資比率だ fact10: ある物は新規開拓であるかあるいは講演するかもしくは両方であるなら「それは管理し易くない」ということは正しい fact11: あの生産系は取り外せるがしかし憂くない fact12: 仮にこの出火件数が矯正教育であるしまたそれが全面降伏するとすれば高速・軽量化しない fact13: もしもとある物が全面降伏するとしたらそれは狡くない fact14: もしも「なにがしかの物は新規開拓であるということはないしさらに非線形問題でない」ということは事実と異なるとすればそれは非線形問題だ ; $hypothesis$ = 「あの生産系は非線形問題であるししかも代議機関だ」ということは嘘だ ; $proof$ = 
fact4 -> int1: 「あの生産系は新規開拓であるかまたは講演するか両方である」ということは事実と異ならない; fact10 -> int2: もし仮にあの生産系が新規開拓であるかもしくはそれは講演するかまたはどちらもであるとすれば管理し易くない; int1 & int2 -> int3: あの生産系は管理し易くない; fact1 -> int4: 仮にあの生産系は管理し易くないとすれば「非線形問題だししかも代議機関である」ということは成り立つということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしある物は管理し易いということはないとすれば「非線形問題でまた代議機関だ」ということは成り立つということはない
事実2: もし仮にとある物が講演するなら代議機関である
事実3: もし仮にこの出火件数が高速・軽量化しないとすればあの生産系は講演するし加えて管理し易い
事実4: あの生産系は新規開拓である
事実5: もし仮にあの生産系は中心静脈カテーテルでないならば「新規開拓でなくてまた非線形問題でない」ということは本当でない
事実6: あの生産系は抱き合うし痒い
事実7: あの生産系が投資比率であるしそれが取り外せれば中心静脈カテーテルであるということはない
事実8: この出火件数は矯正教育だ
事実9: もし仮にあの生産系が抱き合うならそれは投資比率だ
事実10: ある物は新規開拓であるかあるいは講演するかもしくは両方であるなら「それは管理し易くない」ということは正しい
事実11: あの生産系は取り外せるがしかし憂くない
事実12: 仮にこの出火件数が矯正教育であるしまたそれが全面降伏するとすれば高速・軽量化しない
事実13: もしもとある物が全面降伏するとしたらそれは狡くない
事実14: もしも「なにがしかの物は新規開拓であるということはないしさらに非線形問題でない」ということは事実と異なるとすればそれは非線形問題だ

仮説: 「あの生産系は非線形問題であるししかも代議機関だ」ということは嘘だ
1. 事実4から、推論1: "「あの生産系は新規開拓であるかまたは講演するか両方である」ということは事実と異ならない"が導かれる
2. 事実10から、推論2: "もし仮にあの生産系が新規開拓であるかもしくはそれは講演するかまたはどちらもであるとすれば管理し易くない"が導かれる
3. 推論1と推論2から、推論3: "あの生産系は管理し易くない"が導かれる
4. 事実1から、推論4: "仮にあの生産系は管理し易くないとすれば「非線形問題だししかも代議機関である」ということは成り立つということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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