もしこの電動ドリルが酒壺であるがしかしピクニック気分であるということはないならあの印紙は記念写真である
fact1: この電動ドリルは引き易くなくてその上それはコミュニケーション・ツールでない fact2: この電動ドリルは煩い fact3: あの印紙はピクニック気分でない fact4: もしもこの電動ドリルはピクニック気分だということはないし煩いということはないなら記念写真だ fact5: 「この秘宝が酒壺であるが記念写真でないとすればあの電動ドリルは煩い」ということは事実である fact6: もし仮にこの秘宝が御話し出来る一方で記念写真でないならばあの印紙はコミュニケーション・ツールでない fact7: あの労連はＥ＝ＭＣだけれど近しない fact8: もしも「この秘宝はコミュニケーション・ツールであるがしかし記念写真でない」ということは本当だとしたら「あの印紙は煩い」ということは正しい fact9: この上演時間はコミュニケーション・ツールでない fact10: 仮にこの電動ドリルが酒壺だけれどピクニック気分でないとしたらあの印紙は御話し出来ない fact11: もしも「この秘宝は煩いしさらにコミュニケーション・ツールである」ということは成り立たないとすればあの印紙は煩くない fact12: この電動ドリルが煩いしおまけにそれがコミュニケーション・ツールだとするとこの秘宝は酒壺である fact13: この電動ドリルは聞き得なくてそれにそれは否定し難くない fact14: もし仮にあるものは御話し出来ないしピクニック気分でないとしたら「それはコミュニケーション・ツールだ」ということは確かである fact15: 「あの印紙は御話し出来るしそれにピクニック気分である」ということは偽である fact16: 「この秘宝が煩いしその上それはコミュニケーション・ツールだ」ということは偽だ fact17: もし仮にこの電動ドリルがピクニック気分であるが記念写真でないとすればあの印紙は煩い fact18: もし仮にこの電動ドリルが酒壺であるしさらに御話し出来ればあの印紙は記念写真でない fact19: この電動ドリルは酒壺だ fact20: 仮になにがしかのものは御話し出来ないしまた煩くないならばそれは記念写真だ fact21: もしもこの秘宝はコミュニケーション・ツールでないとすると「あの印紙は煩くない」ということは本当だ fact22: もしもとある物は酒壺でないしそれに煩くないなら御話し出来る
void -> assump1: 以下のように仮定する。この電動ドリルは酒壺だけれどピクニック気分でない; fact10 & assump1 -> int1: あの印紙は御話し出来ない; fact16 & fact11 -> int2: あの印紙は煩くない; int1 & int2 -> int3: あの印紙は御話し出来ないしおまけに煩いということはない; fact20 -> int4: あの印紙が御話し出来ないしそれに煩くないとすればそれは記念写真だ; int3 & int4 -> int5: あの印紙は記念写真だ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: この電動ドリルは引き易くなくてその上それはコミュニケーション・ツールでない fact2: この電動ドリルは煩い fact3: あの印紙はピクニック気分でない fact4: もしもこの電動ドリルはピクニック気分だということはないし煩いということはないなら記念写真だ fact5: 「この秘宝が酒壺であるが記念写真でないとすればあの電動ドリルは煩い」ということは事実である fact6: もし仮にこの秘宝が御話し出来る一方で記念写真でないならばあの印紙はコミュニケーション・ツールでない fact7: あの労連はＥ＝ＭＣだけれど近しない fact8: もしも「この秘宝はコミュニケーション・ツールであるがしかし記念写真でない」ということは本当だとしたら「あの印紙は煩い」ということは正しい fact9: この上演時間はコミュニケーション・ツールでない fact10: 仮にこの電動ドリルが酒壺だけれどピクニック気分でないとしたらあの印紙は御話し出来ない fact11: もしも「この秘宝は煩いしさらにコミュニケーション・ツールである」ということは成り立たないとすればあの印紙は煩くない fact12: この電動ドリルが煩いしおまけにそれがコミュニケーション・ツールだとするとこの秘宝は酒壺である fact13: この電動ドリルは聞き得なくてそれにそれは否定し難くない fact14: もし仮にあるものは御話し出来ないしピクニック気分でないとしたら「それはコミュニケーション・ツールだ」ということは確かである fact15: 「あの印紙は御話し出来るしそれにピクニック気分である」ということは偽である fact16: 「この秘宝が煩いしその上それはコミュニケーション・ツールだ」ということは偽だ fact17: もし仮にこの電動ドリルがピクニック気分であるが記念写真でないとすればあの印紙は煩い fact18: もし仮にこの電動ドリルが酒壺であるしさらに御話し出来ればあの印紙は記念写真でない fact19: この電動ドリルは酒壺だ fact20: 仮になにがしかのものは御話し出来ないしまた煩くないならばそれは記念写真だ fact21: もしもこの秘宝はコミュニケーション・ツールでないとすると「あの印紙は煩くない」ということは本当だ fact22: もしもとある物は酒壺でないしそれに煩くないなら御話し出来る ; $hypothesis$ = もしこの電動ドリルが酒壺であるがしかしピクニック気分であるということはないならあの印紙は記念写真である ; $proof$ = 
void -> assump1: 以下のように仮定する。この電動ドリルは酒壺だけれどピクニック気分でない; fact10 & assump1 -> int1: あの印紙は御話し出来ない; fact16 & fact11 -> int2: あの印紙は煩くない; int1 & int2 -> int3: あの印紙は御話し出来ないしおまけに煩いということはない; fact20 -> int4: あの印紙が御話し出来ないしそれに煩くないとすればそれは記念写真だ; int3 & int4 -> int5: あの印紙は記念写真だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: この電動ドリルは引き易くなくてその上それはコミュニケーション・ツールでない
事実2: この電動ドリルは煩い
事実3: あの印紙はピクニック気分でない
事実4: もしもこの電動ドリルはピクニック気分だということはないし煩いということはないなら記念写真だ
事実5: 「この秘宝が酒壺であるが記念写真でないとすればあの電動ドリルは煩い」ということは事実である
事実6: もし仮にこの秘宝が御話し出来る一方で記念写真でないならばあの印紙はコミュニケーション・ツールでない
事実7: あの労連はＥ＝ＭＣだけれど近しない
事実8: もしも「この秘宝はコミュニケーション・ツールであるがしかし記念写真でない」ということは本当だとしたら「あの印紙は煩い」ということは正しい
事実9: この上演時間はコミュニケーション・ツールでない
事実10: 仮にこの電動ドリルが酒壺だけれどピクニック気分でないとしたらあの印紙は御話し出来ない
事実11: もしも「この秘宝は煩いしさらにコミュニケーション・ツールである」ということは成り立たないとすればあの印紙は煩くない
事実12: この電動ドリルが煩いしおまけにそれがコミュニケーション・ツールだとするとこの秘宝は酒壺である
事実13: この電動ドリルは聞き得なくてそれにそれは否定し難くない
事実14: もし仮にあるものは御話し出来ないしピクニック気分でないとしたら「それはコミュニケーション・ツールだ」ということは確かである
事実15: 「あの印紙は御話し出来るしそれにピクニック気分である」ということは偽である
事実16: 「この秘宝が煩いしその上それはコミュニケーション・ツールだ」ということは偽だ
事実17: もし仮にこの電動ドリルがピクニック気分であるが記念写真でないとすればあの印紙は煩い
事実18: もし仮にこの電動ドリルが酒壺であるしさらに御話し出来ればあの印紙は記念写真でない
事実19: この電動ドリルは酒壺だ
事実20: 仮になにがしかのものは御話し出来ないしまた煩くないならばそれは記念写真だ
事実21: もしもこの秘宝はコミュニケーション・ツールでないとすると「あの印紙は煩くない」ということは本当だ
事実22: もしもとある物は酒壺でないしそれに煩くないなら御話し出来る

仮説: もしこの電動ドリルが酒壺であるがしかしピクニック気分であるということはないならあの印紙は記念写真である
1. 仮定1: 以下のように仮定する。この電動ドリルは酒壺だけれどピクニック気分でない
2. 事実10と仮定1から、推論1: "あの印紙は御話し出来ない"が導かれる
3. 事実16と事実11から、推論2: "あの印紙は煩くない"が導かれる
4. 推論1と推論2から、推論3: "あの印紙は御話し出来ないしおまけに煩いということはない"が導かれる
5. 事実20から、推論4: "あの印紙が御話し出来ないしそれに煩くないとすればそれは記念写真だ"が導かれる
6. 推論3と推論4から、推論5: "あの印紙は記念写真だ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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