「「「そのＦＥツープラスは各教材だということはないししかも寂しかない」ということは間違いだ」ということは成り立つとするとあの仕様変更は特許出願しない」ということは嘘だ
fact1: 仮にそのＦＥツープラスが各教材であるということはなくて更にそれが寂しかないとしたらあの仕様変更は特許出願しない fact2: そのＦＥツープラスは各教材だ fact3: なんらかの物がテロ対策でないとすれば意味深いしそれは正経でない fact4: 「そのＦＥツープラスは流し始めるけど特許出願するということはない」ということは偽である fact5: 仮にそのＦＥツープラスが寂しいとするとあの仕様変更は特許出願しない fact6: あの仕様変更は各教材でない fact7: しおらしい物は公租公課でないし救い難くない fact8: 仮にそのＦＥツープラスがしおらしいならばあの関係上はしおらしい fact9: もし仮に「そのＦＥツープラスは各教材でないししかも寂しかない」ということは事実と異なればそれは流し始める fact10: もし仮にあの仕様変更が正経だということはないとするとそのＦＥツープラスはしおらしいしそれにプロブレムＳだ fact11: もしそのＦＥツープラスが流し始めるとしたらあの仕様変更は特許出願しない fact12: 仮に「あの仕様変更は各教材でなくて寂しかない」ということは誤っているとしたら「それは特許出願する」ということは成り立つ fact13: もしも何らかの物は公租公課でなくて救い難くないなら流し始めない fact14: もし仮にそのＦＥツープラスは特許出願すれば「あの仕様変更は寂しかない」ということは事実だ fact15: 仮になにがしかのものが流し始めないならそれは各教材であるし特許出願する fact16: そのＦＥツープラスが各教材でないしさらに寂しかないとすると流し始める fact17: 仮にこの大型が乗り換えれば御出席下さる fact18: もしあの仕様変更が流し始めるということはなくて加えて寂しかないとすればそのＦＥツープラスは各教材でない
void -> assump1: 以下のように仮定する。「そのＦＥツープラスは各教材でなくてかつ寂しかない」ということは成り立たない; fact9 & assump1 -> int1: そのＦＥツープラスは流し始める; int1 & fact11 -> int2: 「あの仕様変更は特許出願しない」ということは事実だ; [assump1] & int2 -> hypothesis;
その関係上は各教材である
fact20 -> int3: その関係上が流し始めないとすれば各教材であるしその上特許出願する; fact19 -> int4: もしもその関係上が公租公課でないしさらに救い難くないとするとそれは流し始めない; fact22 -> int5: 仮にその関係上がしおらしいとしたら公租公課であるということはなくて加えて救い難くない; fact21 -> int6: あの仕様変更がテロ対策だということはないとすれば意味深いが正経だということはない;
$facts$ = fact1: 仮にそのＦＥツープラスが各教材であるということはなくて更にそれが寂しかないとしたらあの仕様変更は特許出願しない fact2: そのＦＥツープラスは各教材だ fact3: なんらかの物がテロ対策でないとすれば意味深いしそれは正経でない fact4: 「そのＦＥツープラスは流し始めるけど特許出願するということはない」ということは偽である fact5: 仮にそのＦＥツープラスが寂しいとするとあの仕様変更は特許出願しない fact6: あの仕様変更は各教材でない fact7: しおらしい物は公租公課でないし救い難くない fact8: 仮にそのＦＥツープラスがしおらしいならばあの関係上はしおらしい fact9: もし仮に「そのＦＥツープラスは各教材でないししかも寂しかない」ということは事実と異なればそれは流し始める fact10: もし仮にあの仕様変更が正経だということはないとするとそのＦＥツープラスはしおらしいしそれにプロブレムＳだ fact11: もしそのＦＥツープラスが流し始めるとしたらあの仕様変更は特許出願しない fact12: 仮に「あの仕様変更は各教材でなくて寂しかない」ということは誤っているとしたら「それは特許出願する」ということは成り立つ fact13: もしも何らかの物は公租公課でなくて救い難くないなら流し始めない fact14: もし仮にそのＦＥツープラスは特許出願すれば「あの仕様変更は寂しかない」ということは事実だ fact15: 仮になにがしかのものが流し始めないならそれは各教材であるし特許出願する fact16: そのＦＥツープラスが各教材でないしさらに寂しかないとすると流し始める fact17: 仮にこの大型が乗り換えれば御出席下さる fact18: もしあの仕様変更が流し始めるということはなくて加えて寂しかないとすればそのＦＥツープラスは各教材でない ; $hypothesis$ = 「「「そのＦＥツープラスは各教材だということはないししかも寂しかない」ということは間違いだ」ということは成り立つとするとあの仕様変更は特許出願しない」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのＦＥツープラスは各教材でなくてかつ寂しかない」ということは成り立たない; fact9 & assump1 -> int1: そのＦＥツープラスは流し始める; int1 & fact11 -> int2: 「あの仕様変更は特許出願しない」ということは事実だ; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 仮にそのＦＥツープラスが各教材であるということはなくて更にそれが寂しかないとしたらあの仕様変更は特許出願しない
事実2: そのＦＥツープラスは各教材だ
事実3: なんらかの物がテロ対策でないとすれば意味深いしそれは正経でない
事実4: 「そのＦＥツープラスは流し始めるけど特許出願するということはない」ということは偽である
事実5: 仮にそのＦＥツープラスが寂しいとするとあの仕様変更は特許出願しない
事実6: あの仕様変更は各教材でない
事実7: しおらしい物は公租公課でないし救い難くない
事実8: 仮にそのＦＥツープラスがしおらしいならばあの関係上はしおらしい
事実9: もし仮に「そのＦＥツープラスは各教材でないししかも寂しかない」ということは事実と異なればそれは流し始める
事実10: もし仮にあの仕様変更が正経だということはないとするとそのＦＥツープラスはしおらしいしそれにプロブレムＳだ
事実11: もしそのＦＥツープラスが流し始めるとしたらあの仕様変更は特許出願しない
事実12: 仮に「あの仕様変更は各教材でなくて寂しかない」ということは誤っているとしたら「それは特許出願する」ということは成り立つ
事実13: もしも何らかの物は公租公課でなくて救い難くないなら流し始めない
事実14: もし仮にそのＦＥツープラスは特許出願すれば「あの仕様変更は寂しかない」ということは事実だ
事実15: 仮になにがしかのものが流し始めないならそれは各教材であるし特許出願する
事実16: そのＦＥツープラスが各教材でないしさらに寂しかないとすると流し始める
事実17: 仮にこの大型が乗り換えれば御出席下さる
事実18: もしあの仕様変更が流し始めるということはなくて加えて寂しかないとすればそのＦＥツープラスは各教材でない

仮説: 「「「そのＦＥツープラスは各教材だということはないししかも寂しかない」ということは間違いだ」ということは成り立つとするとあの仕様変更は特許出願しない」ということは嘘だ
1. 仮定1: 以下のように仮定する。「そのＦＥツープラスは各教材でなくてかつ寂しかない」ということは成り立たない
2. 事実9と仮定1から、推論1: "そのＦＥツープラスは流し始める"が導かれる
3. 推論1と事実11から、推論2: "「あの仕様変更は特許出願しない」ということは事実だ"が導かれる
4. [仮定1]と推論2から、仮説が否定される

よって、仮説が否定されました。