この中腰姿勢は麗しない
fact1: もし「何らかのものはどうして良くないし自動作成しない」ということは成り立つということはないとすればそれは麗しない fact2: もしその稲扱きがどうして良くないとしたらこの中腰姿勢は狡っ辛いしそれに麗し fact3: その生成ダイナミクスはどうして良いなら「この中腰姿勢はどうして良いけれどそれは自動作成しない」ということは嘘だ fact4: 「この中腰姿勢はどうして良くないけれど自動作成する」ということは誤りである fact5: その稲扱きは狡っ辛い fact6: もしその生成ダイナミクスはどうして良いとすれば「この中腰姿勢はどうして良くないしさらに自動作成しない」ということは成り立たない fact7: もしもその生成ダイナミクスはどうして良いとすれば「この中腰姿勢はどうして良くないけれどそれは自動作成する」ということは偽だ fact8: もし「その稲扱きは狡っ辛い」ということは事実だとすればその生成ダイナミクスはどうして良い
fact8 & fact5 -> int1: その生成ダイナミクスはどうして良い; int1 & fact6 -> int2: 「この中腰姿勢はどうして良くないし自動作成しない」ということは事実と異なる; fact1 -> int3: 「この中腰姿勢はどうして良くないしまたそれは自動作成しない」ということは嘘ならそれは麗しない; int2 & int3 -> hypothesis;
この中腰姿勢は麗し
$facts$ = fact1: もし「何らかのものはどうして良くないし自動作成しない」ということは成り立つということはないとすればそれは麗しない fact2: もしその稲扱きがどうして良くないとしたらこの中腰姿勢は狡っ辛いしそれに麗し fact3: その生成ダイナミクスはどうして良いなら「この中腰姿勢はどうして良いけれどそれは自動作成しない」ということは嘘だ fact4: 「この中腰姿勢はどうして良くないけれど自動作成する」ということは誤りである fact5: その稲扱きは狡っ辛い fact6: もしその生成ダイナミクスはどうして良いとすれば「この中腰姿勢はどうして良くないしさらに自動作成しない」ということは成り立たない fact7: もしもその生成ダイナミクスはどうして良いとすれば「この中腰姿勢はどうして良くないけれどそれは自動作成する」ということは偽だ fact8: もし「その稲扱きは狡っ辛い」ということは事実だとすればその生成ダイナミクスはどうして良い ; $hypothesis$ = この中腰姿勢は麗しない ; $proof$ = 
fact8 & fact5 -> int1: その生成ダイナミクスはどうして良い; int1 & fact6 -> int2: 「この中腰姿勢はどうして良くないし自動作成しない」ということは事実と異なる; fact1 -> int3: 「この中腰姿勢はどうして良くないしまたそれは自動作成しない」ということは嘘ならそれは麗しない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし「何らかのものはどうして良くないし自動作成しない」ということは成り立つということはないとすればそれは麗しない
事実2: もしその稲扱きがどうして良くないとしたらこの中腰姿勢は狡っ辛いしそれに麗し
事実3: その生成ダイナミクスはどうして良いなら「この中腰姿勢はどうして良いけれどそれは自動作成しない」ということは嘘だ
事実4: 「この中腰姿勢はどうして良くないけれど自動作成する」ということは誤りである
事実5: その稲扱きは狡っ辛い
事実6: もしその生成ダイナミクスはどうして良いとすれば「この中腰姿勢はどうして良くないしさらに自動作成しない」ということは成り立たない
事実7: もしもその生成ダイナミクスはどうして良いとすれば「この中腰姿勢はどうして良くないけれどそれは自動作成する」ということは偽だ
事実8: もし「その稲扱きは狡っ辛い」ということは事実だとすればその生成ダイナミクスはどうして良い

仮説: この中腰姿勢は麗しない
1. 事実8と事実5から、推論1: "その生成ダイナミクスはどうして良い"が導かれる
2. 推論1と事実6から、推論2: "「この中腰姿勢はどうして良くないし自動作成しない」ということは事実と異なる"が導かれる
3. 事実1から、推論3: "「この中腰姿勢はどうして良くないしまたそれは自動作成しない」ということは嘘ならそれは麗しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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