このコンピュータ・プログラムは優しくないけれどそれは予選する
fact1: この急拵えは焼け窶れる fact2: あのクラクションはしょんぼりする fact3: もしも「何かは塗り易くないしすりゃ良くない」ということは偽であるとすると育てる fact4: 仮にこのコンピュータ・プログラムがすりゃ良いならそれは育てる fact5: もしこのコンピュータ・プログラムは焼け窶れれば「塗り易くないしそれはすりゃ良い」ということは事実と異なる fact6: 仮になにがしかのものは育てるししょんぼりするとすればうつらうつらしない fact7: このコンピュータ・プログラムはしょんぼりする fact8: すりゃ良い物は育てる fact9: もしもなにがしかのものはうつらうつらしないとすると「それは優しくないし予選する」ということは誤っている fact10: このコンピュータ・プログラムは焼け窶れる fact11: もしこのコンピュータ・プログラムは焼け窶れれば「塗り易くないしすりゃ良くない」ということは成り立たない
fact3 -> int1: 「このコンピュータ・プログラムが塗り易くないしさらにそれはすりゃ良いということはない」ということは事実と異なるとしたらそれは育てる; fact11 & fact10 -> int2: 「「このコンピュータ・プログラムは塗り易くなくてまたすりゃ良くない」ということは誤りだ」ということは成り立つ; int1 & int2 -> int3: このコンピュータ・プログラムは育てる; int3 & fact7 -> int4: このコンピュータ・プログラムは育てるししょんぼりする; fact6 -> int5: 仮にこのコンピュータ・プログラムが育てるしそれがしょんぼりすればうつらうつらしない; int4 & int5 -> int6: このコンピュータ・プログラムはうつらうつらしない; fact9 -> int7: もしも「このコンピュータ・プログラムはうつらうつらしない」ということは誤っていないならば「それは優しくないがしかし予選する」ということは成り立たない; int6 & int7 -> hypothesis;
$facts$ = fact1: この急拵えは焼け窶れる fact2: あのクラクションはしょんぼりする fact3: もしも「何かは塗り易くないしすりゃ良くない」ということは偽であるとすると育てる fact4: 仮にこのコンピュータ・プログラムがすりゃ良いならそれは育てる fact5: もしこのコンピュータ・プログラムは焼け窶れれば「塗り易くないしそれはすりゃ良い」ということは事実と異なる fact6: 仮になにがしかのものは育てるししょんぼりするとすればうつらうつらしない fact7: このコンピュータ・プログラムはしょんぼりする fact8: すりゃ良い物は育てる fact9: もしもなにがしかのものはうつらうつらしないとすると「それは優しくないし予選する」ということは誤っている fact10: このコンピュータ・プログラムは焼け窶れる fact11: もしこのコンピュータ・プログラムは焼け窶れれば「塗り易くないしすりゃ良くない」ということは成り立たない ; $hypothesis$ = このコンピュータ・プログラムは優しくないけれどそれは予選する ; $proof$ = 
fact3 -> int1: 「このコンピュータ・プログラムが塗り易くないしさらにそれはすりゃ良いということはない」ということは事実と異なるとしたらそれは育てる; fact11 & fact10 -> int2: 「「このコンピュータ・プログラムは塗り易くなくてまたすりゃ良くない」ということは誤りだ」ということは成り立つ; int1 & int2 -> int3: このコンピュータ・プログラムは育てる; int3 & fact7 -> int4: このコンピュータ・プログラムは育てるししょんぼりする; fact6 -> int5: 仮にこのコンピュータ・プログラムが育てるしそれがしょんぼりすればうつらうつらしない; int4 & int5 -> int6: このコンピュータ・プログラムはうつらうつらしない; fact9 -> int7: もしも「このコンピュータ・プログラムはうつらうつらしない」ということは誤っていないならば「それは優しくないがしかし予選する」ということは成り立たない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: この急拵えは焼け窶れる
事実2: あのクラクションはしょんぼりする
事実3: もしも「何かは塗り易くないしすりゃ良くない」ということは偽であるとすると育てる
事実4: 仮にこのコンピュータ・プログラムがすりゃ良いならそれは育てる
事実5: もしこのコンピュータ・プログラムは焼け窶れれば「塗り易くないしそれはすりゃ良い」ということは事実と異なる
事実6: 仮になにがしかのものは育てるししょんぼりするとすればうつらうつらしない
事実7: このコンピュータ・プログラムはしょんぼりする
事実8: すりゃ良い物は育てる
事実9: もしもなにがしかのものはうつらうつらしないとすると「それは優しくないし予選する」ということは誤っている
事実10: このコンピュータ・プログラムは焼け窶れる
事実11: もしこのコンピュータ・プログラムは焼け窶れれば「塗り易くないしすりゃ良くない」ということは成り立たない

仮説: このコンピュータ・プログラムは優しくないけれどそれは予選する
1. 事実3から、推論1: "「このコンピュータ・プログラムが塗り易くないしさらにそれはすりゃ良いということはない」ということは事実と異なるとしたらそれは育てる"が導かれる
2. 事実11と事実10から、推論2: "「「このコンピュータ・プログラムは塗り易くなくてまたすりゃ良くない」ということは誤りだ」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "このコンピュータ・プログラムは育てる"が導かれる
4. 推論3と事実7から、推論4: "このコンピュータ・プログラムは育てるししょんぼりする"が導かれる
5. 事実6から、推論5: "仮にこのコンピュータ・プログラムが育てるしそれがしょんぼりすればうつらうつらしない"が導かれる
6. 推論4と推論5から、推論6: "このコンピュータ・プログラムはうつらうつらしない"が導かれる
7. 事実9から、推論7: "もしも「このコンピュータ・プログラムはうつらうつらしない」ということは誤っていないならば「それは優しくないがしかし予選する」ということは成り立たない"が導かれる
8. 推論6と推論7から、仮説が否定される

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