「もし仮に「惨たらしくないけれどフィードフォワードである」ということは成り立たないとすると寂しいということはない」物はある
fact1: もしこの工場経営者は押さえ付けないけど御堀だとすると気高くない fact2: もしも「あの人工神経は紙幣でないけれど愛国炭鉱だ」ということは嘘なら「寝苦しい」ということは誤りでない fact3: もし仮に「あの人工神経は輝かしくない一方でそれはごっつい」ということは偽ならフィードフォワードでない fact4: 仮に「この社会思想は寂しいしその上参照す」ということは嘘であるとすると漂流し始めない fact5: 仮に「この海外向け放送は御加増であるということはないがしかし予表する」ということは成り立たないとすると随喜する fact6: もしも「あの人工神経は惨たらしくないけれどそれはフィードフォワードである」ということは誤っていれば「寂しかない」ということは誤りでない fact7: 仮に「なんらかのものは専心しないがしかしそれは甘美さである」ということは間違っていれば突き立たない
fact6 -> hypothesis;
「もし「専心しないしまた甘美さだ」ということは間違いなら突き立たない」ものはある
fact8 -> int1: 「あの三十五Ｓは専心するということはないけれど甘美さである」ということは事実と異なるとすればそれは突き立つということはない; int1 -> hypothesis;
$facts$ = fact1: もしこの工場経営者は押さえ付けないけど御堀だとすると気高くない fact2: もしも「あの人工神経は紙幣でないけれど愛国炭鉱だ」ということは嘘なら「寝苦しい」ということは誤りでない fact3: もし仮に「あの人工神経は輝かしくない一方でそれはごっつい」ということは偽ならフィードフォワードでない fact4: 仮に「この社会思想は寂しいしその上参照す」ということは嘘であるとすると漂流し始めない fact5: 仮に「この海外向け放送は御加増であるということはないがしかし予表する」ということは成り立たないとすると随喜する fact6: もしも「あの人工神経は惨たらしくないけれどそれはフィードフォワードである」ということは誤っていれば「寂しかない」ということは誤りでない fact7: 仮に「なんらかのものは専心しないがしかしそれは甘美さである」ということは間違っていれば突き立たない ; $hypothesis$ = 「もし仮に「惨たらしくないけれどフィードフォワードである」ということは成り立たないとすると寂しいということはない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしこの工場経営者は押さえ付けないけど御堀だとすると気高くない
事実2: もしも「あの人工神経は紙幣でないけれど愛国炭鉱だ」ということは嘘なら「寝苦しい」ということは誤りでない
事実3: もし仮に「あの人工神経は輝かしくない一方でそれはごっつい」ということは偽ならフィードフォワードでない
事実4: 仮に「この社会思想は寂しいしその上参照す」ということは嘘であるとすると漂流し始めない
事実5: 仮に「この海外向け放送は御加増であるということはないがしかし予表する」ということは成り立たないとすると随喜する
事実6: もしも「あの人工神経は惨たらしくないけれどそれはフィードフォワードである」ということは誤っていれば「寂しかない」ということは誤りでない
事実7: 仮に「なんらかのものは専心しないがしかしそれは甘美さである」ということは間違っていれば突き立たない

仮説: 「もし仮に「惨たらしくないけれどフィードフォワードである」ということは成り立たないとすると寂しいということはない」物はある
1. 事実6から、仮説が導かれる

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