「そのローン契約は活写するし専門分化する」ということは偽である
fact1: あの旭山動物園が疑り深いなら物憂い fact2: そのローン契約は遅いし加えて疑り深い fact3: 仮になにがしかのものは執念深いならば「専門分化するしその上それは物憂いということはない」ということは間違っている fact4: 仮にそのローン契約がそそっかしいとすれば専門分化する fact5: もしもあの旭山動物園が物憂いならあの表形式は執念深くないかそれは入学するか両方だ fact6: 「あの勅許はクローム・鍍金でない」ということは事実だとすればあの提訴は評価会社であるかもしくは活写しないか両方である fact7: もし仮に何かはクローム・鍍金ならば活写する fact8: あのクラウン・チャクラはそそっかしいがしかしそれは入学しない fact9: 仮にあのクラウン・チャクラはそそっかしいけれど入学しないならそれは活写する fact10: あの旭山動物園は疑り深いかそれは遅い fact11: もし仮にある物が評価会社であるかまたはそれが活写しないとすると活写しない fact12: もし仮に「「クローム・鍍金であるがしかしそそっかしいということはない」ということは事実と異なる」物があるならあの勅許はクローム・鍍金でない fact13: もし仮に「「あのクラウン・チャクラは専門分化するけど物憂くない」ということは本当でない」ということは事実だとするとそれは専門分化しない fact14: そのローン契約はクローム・鍍金だけど評価会社でない fact15: もしもなにがしかのものが執念深くないかあるいは入学するか両方であるならこの失権約款は入学する fact16: そのローン契約は入学するかまたはそそっかしい fact17: もし「なんらかのものは活写する」ということは正しいとすればそれはクローム・鍍金である fact18: 「そのローン契約は評価会社でない」ということは成り立つ fact19: あの旭山動物園が遅いなら物憂い fact20: もしもそのローン契約が遅いとしたらあのクラウン・チャクラは執念深い fact21: そのローン契約が入学すれば専門分化する
fact14 -> int1: そのローン契約はクローム・鍍金である; fact7 -> int2: そのローン契約はクローム・鍍金であるとしたら活写する; int1 & int2 -> int3: そのローン契約は活写する; fact21 & fact4 & fact16 -> int4: そのローン契約は専門分化する; int3 & int4 -> hypothesis;
あのクラウン・チャクラはクローム・鍍金であるし見苦しい
fact28 -> int5: もし仮にあのクラウン・チャクラが活写するとするとそれはクローム・鍍金だ; fact23 & fact25 -> int6: あのクラウン・チャクラは活写する; int5 & int6 -> int7: あのクラウン・チャクラはクローム・鍍金だ; fact27 -> int8: 仮にあのクラウン・チャクラは執念深いとすれば「それは専門分化するししかも物憂くない」ということは事実と異なる; fact26 -> int9: そのローン契約は遅い; fact24 & int9 -> int10: あのクラウン・チャクラは執念深い; int8 & int10 -> int11: 「あのクラウン・チャクラは専門分化するけど物憂くない」ということは嘘だ; fact22 & int11 -> int12: あのクラウン・チャクラは専門分化しない;
$facts$ = fact1: あの旭山動物園が疑り深いなら物憂い fact2: そのローン契約は遅いし加えて疑り深い fact3: 仮になにがしかのものは執念深いならば「専門分化するしその上それは物憂いということはない」ということは間違っている fact4: 仮にそのローン契約がそそっかしいとすれば専門分化する fact5: もしもあの旭山動物園が物憂いならあの表形式は執念深くないかそれは入学するか両方だ fact6: 「あの勅許はクローム・鍍金でない」ということは事実だとすればあの提訴は評価会社であるかもしくは活写しないか両方である fact7: もし仮に何かはクローム・鍍金ならば活写する fact8: あのクラウン・チャクラはそそっかしいがしかしそれは入学しない fact9: 仮にあのクラウン・チャクラはそそっかしいけれど入学しないならそれは活写する fact10: あの旭山動物園は疑り深いかそれは遅い fact11: もし仮にある物が評価会社であるかまたはそれが活写しないとすると活写しない fact12: もし仮に「「クローム・鍍金であるがしかしそそっかしいということはない」ということは事実と異なる」物があるならあの勅許はクローム・鍍金でない fact13: もし仮に「「あのクラウン・チャクラは専門分化するけど物憂くない」ということは本当でない」ということは事実だとするとそれは専門分化しない fact14: そのローン契約はクローム・鍍金だけど評価会社でない fact15: もしもなにがしかのものが執念深くないかあるいは入学するか両方であるならこの失権約款は入学する fact16: そのローン契約は入学するかまたはそそっかしい fact17: もし「なんらかのものは活写する」ということは正しいとすればそれはクローム・鍍金である fact18: 「そのローン契約は評価会社でない」ということは成り立つ fact19: あの旭山動物園が遅いなら物憂い fact20: もしもそのローン契約が遅いとしたらあのクラウン・チャクラは執念深い fact21: そのローン契約が入学すれば専門分化する ; $hypothesis$ = 「そのローン契約は活写するし専門分化する」ということは偽である ; $proof$ = 
fact14 -> int1: そのローン契約はクローム・鍍金である; fact7 -> int2: そのローン契約はクローム・鍍金であるとしたら活写する; int1 & int2 -> int3: そのローン契約は活写する; fact21 & fact4 & fact16 -> int4: そのローン契約は専門分化する; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの旭山動物園が疑り深いなら物憂い
事実2: そのローン契約は遅いし加えて疑り深い
事実3: 仮になにがしかのものは執念深いならば「専門分化するしその上それは物憂いということはない」ということは間違っている
事実4: 仮にそのローン契約がそそっかしいとすれば専門分化する
事実5: もしもあの旭山動物園が物憂いならあの表形式は執念深くないかそれは入学するか両方だ
事実6: 「あの勅許はクローム・鍍金でない」ということは事実だとすればあの提訴は評価会社であるかもしくは活写しないか両方である
事実7: もし仮に何かはクローム・鍍金ならば活写する
事実8: あのクラウン・チャクラはそそっかしいがしかしそれは入学しない
事実9: 仮にあのクラウン・チャクラはそそっかしいけれど入学しないならそれは活写する
事実10: あの旭山動物園は疑り深いかそれは遅い
事実11: もし仮にある物が評価会社であるかまたはそれが活写しないとすると活写しない
事実12: もし仮に「「クローム・鍍金であるがしかしそそっかしいということはない」ということは事実と異なる」物があるならあの勅許はクローム・鍍金でない
事実13: もし仮に「「あのクラウン・チャクラは専門分化するけど物憂くない」ということは本当でない」ということは事実だとするとそれは専門分化しない
事実14: そのローン契約はクローム・鍍金だけど評価会社でない
事実15: もしもなにがしかのものが執念深くないかあるいは入学するか両方であるならこの失権約款は入学する
事実16: そのローン契約は入学するかまたはそそっかしい
事実17: もし「なんらかのものは活写する」ということは正しいとすればそれはクローム・鍍金である
事実18: 「そのローン契約は評価会社でない」ということは成り立つ
事実19: あの旭山動物園が遅いなら物憂い
事実20: もしもそのローン契約が遅いとしたらあのクラウン・チャクラは執念深い
事実21: そのローン契約が入学すれば専門分化する

仮説: 「そのローン契約は活写するし専門分化する」ということは偽である
1. 事実14から、推論1: "そのローン契約はクローム・鍍金である"が導かれる
2. 事実7から、推論2: "そのローン契約はクローム・鍍金であるとしたら活写する"が導かれる
3. 推論1と推論2から、推論3: "そのローン契約は活写する"が導かれる
4. 事実21と事実4と事実16から、推論4: "そのローン契約は専門分化する"が導かれる
5. 推論3と推論4から、仮説が否定される

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