あのエリザベート公演は個人コレクションであるかもしくは緒言であるかあるいは両方である
fact1: その個別通達はＣＤ‐Ｒ／ＲＷドライブである fact2: この宮殿内はＣＤ‐Ｒ／ＲＷドライブだ fact3: もしも「この宮殿内は乳臭い」ということは本当だとすればそれはＣＤ‐Ｒ／ＲＷドライブでない fact4: もし仮にそのビスタはＣＤ‐Ｒ／ＲＷドライブでないとしたら「この宮殿内はＣＤ‐Ｒ／ＲＷドライブであるかまたはそれは個人コレクションであるかもしくは両方だ」ということは成り立たない fact5: もしその個別通達が皮肉っぽいとすればこの宮殿内は乳臭い fact6: もしもその白点花潜が戻り易いとするとその個別通達は皮肉っぽい fact7: そのビスタは皮肉っぽくない fact8: 仮にその白点花潜は乳臭くないなら「この宮殿内は乳臭いか戻り易いか両方ともである」ということは誤っている fact9: この宮殿内は物憂い fact10: あのエリザベート公演は戻り易い fact11: あのエリザベート公演は乳臭い fact12: そのビスタが個人コレクションであるとしたらその白点花潜は確実化する fact13: そのビスタは個人コレクションでないとすると「あのエリザベート公演は個人コレクションであるかそれは緒言である」ということは間違っている fact14: あのエリザベート公演は確実化する fact15: もしその白点花潜が緒言であるならばあのエリザベート公演は戻り易い fact16: その白点花潜は緒言でない fact17: もし「その白点花潜は確実化する」ということは偽でないとすると戻り易い
void -> assump1: 以下のように仮定する。「そのビスタは個人コレクションだ」ということは真実である; fact12 & assump1 -> int1: その白点花潜は確実化する; int1 & fact17 -> int2: 「その白点花潜は戻り易い」ということは事実だ; int2 & fact6 -> int3: その個別通達は皮肉っぽい; int3 & fact5 -> int4: この宮殿内は乳臭い; int4 & fact3 -> int5: この宮殿内はＣＤ‐Ｒ／ＲＷドライブでない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのビスタは個人コレクションでない; int7 & fact13 -> hypothesis;
$facts$ = fact1: その個別通達はＣＤ‐Ｒ／ＲＷドライブである fact2: この宮殿内はＣＤ‐Ｒ／ＲＷドライブだ fact3: もしも「この宮殿内は乳臭い」ということは本当だとすればそれはＣＤ‐Ｒ／ＲＷドライブでない fact4: もし仮にそのビスタはＣＤ‐Ｒ／ＲＷドライブでないとしたら「この宮殿内はＣＤ‐Ｒ／ＲＷドライブであるかまたはそれは個人コレクションであるかもしくは両方だ」ということは成り立たない fact5: もしその個別通達が皮肉っぽいとすればこの宮殿内は乳臭い fact6: もしもその白点花潜が戻り易いとするとその個別通達は皮肉っぽい fact7: そのビスタは皮肉っぽくない fact8: 仮にその白点花潜は乳臭くないなら「この宮殿内は乳臭いか戻り易いか両方ともである」ということは誤っている fact9: この宮殿内は物憂い fact10: あのエリザベート公演は戻り易い fact11: あのエリザベート公演は乳臭い fact12: そのビスタが個人コレクションであるとしたらその白点花潜は確実化する fact13: そのビスタは個人コレクションでないとすると「あのエリザベート公演は個人コレクションであるかそれは緒言である」ということは間違っている fact14: あのエリザベート公演は確実化する fact15: もしその白点花潜が緒言であるならばあのエリザベート公演は戻り易い fact16: その白点花潜は緒言でない fact17: もし「その白点花潜は確実化する」ということは偽でないとすると戻り易い ; $hypothesis$ = あのエリザベート公演は個人コレクションであるかもしくは緒言であるかあるいは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのビスタは個人コレクションだ」ということは真実である; fact12 & assump1 -> int1: その白点花潜は確実化する; int1 & fact17 -> int2: 「その白点花潜は戻り易い」ということは事実だ; int2 & fact6 -> int3: その個別通達は皮肉っぽい; int3 & fact5 -> int4: この宮殿内は乳臭い; int4 & fact3 -> int5: この宮殿内はＣＤ‐Ｒ／ＲＷドライブでない; int5 & fact2 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのビスタは個人コレクションでない; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: その個別通達はＣＤ‐Ｒ／ＲＷドライブである
事実2: この宮殿内はＣＤ‐Ｒ／ＲＷドライブだ
事実3: もしも「この宮殿内は乳臭い」ということは本当だとすればそれはＣＤ‐Ｒ／ＲＷドライブでない
事実4: もし仮にそのビスタはＣＤ‐Ｒ／ＲＷドライブでないとしたら「この宮殿内はＣＤ‐Ｒ／ＲＷドライブであるかまたはそれは個人コレクションであるかもしくは両方だ」ということは成り立たない
事実5: もしその個別通達が皮肉っぽいとすればこの宮殿内は乳臭い
事実6: もしもその白点花潜が戻り易いとするとその個別通達は皮肉っぽい
事実7: そのビスタは皮肉っぽくない
事実8: 仮にその白点花潜は乳臭くないなら「この宮殿内は乳臭いか戻り易いか両方ともである」ということは誤っている
事実9: この宮殿内は物憂い
事実10: あのエリザベート公演は戻り易い
事実11: あのエリザベート公演は乳臭い
事実12: そのビスタが個人コレクションであるとしたらその白点花潜は確実化する
事実13: そのビスタは個人コレクションでないとすると「あのエリザベート公演は個人コレクションであるかそれは緒言である」ということは間違っている
事実14: あのエリザベート公演は確実化する
事実15: もしその白点花潜が緒言であるならばあのエリザベート公演は戻り易い
事実16: その白点花潜は緒言でない
事実17: もし「その白点花潜は確実化する」ということは偽でないとすると戻り易い

仮説: あのエリザベート公演は個人コレクションであるかもしくは緒言であるかあるいは両方である
1. 仮定1: 以下のように仮定する。「そのビスタは個人コレクションだ」ということは真実である
2. 事実12と仮定1から、推論1: "その白点花潜は確実化する"が導かれる
3. 推論1と事実17から、推論2: "「その白点花潜は戻り易い」ということは事実だ"が導かれる
4. 推論2と事実6から、推論3: "その個別通達は皮肉っぽい"が導かれる
5. 推論3と事実5から、推論4: "この宮殿内は乳臭い"が導かれる
6. 推論4と事実3から、推論5: "この宮殿内はＣＤ‐Ｒ／ＲＷドライブでない"が導かれる
7. 推論5と事実2から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのビスタは個人コレクションでない"が導かれる
9. 推論7と事実13から、仮説が否定される

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