あの日本語有りは上げ易くない
fact1: 「あの資産流動化はガールフレンドである」ということは真実だ fact2: この真夜中は喇叭である fact3: 別状はサンクである fact4: あのデイ・サービスは喇叭である fact5: この真夜中は辛いとすると「あの日本語有りは上げ易い」ということは事実だ fact6: もしもその食肉中はガールフレンドであるとすると独り暮らしする fact7: その食肉中は辛い fact8: この真夜中は母乳中である fact9: あの日本語有りはガールフレンドだ fact10: もしもこの真夜中が喇叭でないとすればその食肉中は喇叭であるしその上辛い fact11: もし仮に何かはガールフレンドであるとすると「それは辛い」ということは真実である fact12: 仮にその食肉中が喇叭でないとしたらこの真夜中は喇叭であるしガールフレンドだ fact13: 仮に「その食肉中はガールフレンドでない」ということは間違いだとしたら「この真夜中は喇叭だ」ということは成り立つ fact14: その食肉中は喇叭でない一方でそれは独り暮らしする fact15: もしとあるものはガールフレンドであるならそれは喇叭である
fact14 -> int1: その食肉中は喇叭でない; int1 & fact12 -> int2: この真夜中は喇叭でまたそれはガールフレンドだ; int2 -> int3: この真夜中はガールフレンドである; fact11 -> int4: もし仮にこの真夜中がガールフレンドならそれは辛い; int3 & int4 -> int5: この真夜中は辛い; int5 & fact5 -> hypothesis;
$facts$ = fact1: 「あの資産流動化はガールフレンドである」ということは真実だ fact2: この真夜中は喇叭である fact3: 別状はサンクである fact4: あのデイ・サービスは喇叭である fact5: この真夜中は辛いとすると「あの日本語有りは上げ易い」ということは事実だ fact6: もしもその食肉中はガールフレンドであるとすると独り暮らしする fact7: その食肉中は辛い fact8: この真夜中は母乳中である fact9: あの日本語有りはガールフレンドだ fact10: もしもこの真夜中が喇叭でないとすればその食肉中は喇叭であるしその上辛い fact11: もし仮に何かはガールフレンドであるとすると「それは辛い」ということは真実である fact12: 仮にその食肉中が喇叭でないとしたらこの真夜中は喇叭であるしガールフレンドだ fact13: 仮に「その食肉中はガールフレンドでない」ということは間違いだとしたら「この真夜中は喇叭だ」ということは成り立つ fact14: その食肉中は喇叭でない一方でそれは独り暮らしする fact15: もしとあるものはガールフレンドであるならそれは喇叭である ; $hypothesis$ = あの日本語有りは上げ易くない ; $proof$ = 
fact14 -> int1: その食肉中は喇叭でない; int1 & fact12 -> int2: この真夜中は喇叭でまたそれはガールフレンドだ; int2 -> int3: この真夜中はガールフレンドである; fact11 -> int4: もし仮にこの真夜中がガールフレンドならそれは辛い; int3 & int4 -> int5: この真夜中は辛い; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あの資産流動化はガールフレンドである」ということは真実だ
事実2: この真夜中は喇叭である
事実3: 別状はサンクである
事実4: あのデイ・サービスは喇叭である
事実5: この真夜中は辛いとすると「あの日本語有りは上げ易い」ということは事実だ
事実6: もしもその食肉中はガールフレンドであるとすると独り暮らしする
事実7: その食肉中は辛い
事実8: この真夜中は母乳中である
事実9: あの日本語有りはガールフレンドだ
事実10: もしもこの真夜中が喇叭でないとすればその食肉中は喇叭であるしその上辛い
事実11: もし仮に何かはガールフレンドであるとすると「それは辛い」ということは真実である
事実12: 仮にその食肉中が喇叭でないとしたらこの真夜中は喇叭であるしガールフレンドだ
事実13: 仮に「その食肉中はガールフレンドでない」ということは間違いだとしたら「この真夜中は喇叭だ」ということは成り立つ
事実14: その食肉中は喇叭でない一方でそれは独り暮らしする
事実15: もしとあるものはガールフレンドであるならそれは喇叭である

仮説: あの日本語有りは上げ易くない
1. 事実14から、推論1: "その食肉中は喇叭でない"が導かれる
2. 推論1と事実12から、推論2: "この真夜中は喇叭でまたそれはガールフレンドだ"が導かれる
3. 推論2から、推論3: "この真夜中はガールフレンドである"が導かれる
4. 事実11から、推論4: "もし仮にこの真夜中がガールフレンドならそれは辛い"が導かれる
5. 推論3と推論4から、推論5: "この真夜中は辛い"が導かれる
6. 推論5と事実5から、仮説が否定される

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