あの断り状は忘却であるしまたセーバーだ
fact1: もし仮に何らかの物が形するとするとＵＮＩＸ系でない fact2: ＵＮＩＸ系はプロムナードだけれど忘却でない fact3: 「あの断り状はＵＮＩＸ系であるかそれは形しない」ということは成り立たないとするとプロムナードでない fact4: もしもあるものはプロムナードでないならば忘却だしおまけにセーバーだ fact5: 「あの断り状はＵＮＩＸ系であるかあるいは形するということはない」ということは誤りである fact6: そのハビタブルゾーンはプロムナードでないとすると「あの断り状は忘却であるしセーバーだ」ということは成り立つということはない fact7: もしもこの偉人達がＵＮＩＸ系でないとしたらそのハビタブルゾーンはプロムナードでない fact8: 仮にそのハビタブルゾーンが汚らしくないとすればあの補装具交付券はＵＮＩＸ系でかつそれは形する fact9: 「何かは汚らしいけれど遣らうということはない」ということは成り立たないとすればそれは汚らしくない fact10: 「あの断り状が形しないならばあの断り状は伝わり難くてまたナビゲートする」ということは成り立つ fact11: もしもあの断り状が形しないとしたら射程内であるしおまけにテレビ・カメラである
fact4 -> int1: もし仮にあの断り状はプロムナードでないとしたらそれは忘却であるしセーバーである; fact3 & fact5 -> int2: あの断り状はプロムナードでない; int1 & int2 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact3 & fact5 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「あの断り状が忘却だしセーバーだ」ということは嘘だ
fact14 -> int3: もしこの偉人達が形するとするとＵＮＩＸ系でない;
$facts$ = fact1: もし仮に何らかの物が形するとするとＵＮＩＸ系でない fact2: ＵＮＩＸ系はプロムナードだけれど忘却でない fact3: 「あの断り状はＵＮＩＸ系であるかそれは形しない」ということは成り立たないとするとプロムナードでない fact4: もしもあるものはプロムナードでないならば忘却だしおまけにセーバーだ fact5: 「あの断り状はＵＮＩＸ系であるかあるいは形するということはない」ということは誤りである fact6: そのハビタブルゾーンはプロムナードでないとすると「あの断り状は忘却であるしセーバーだ」ということは成り立つということはない fact7: もしもこの偉人達がＵＮＩＸ系でないとしたらそのハビタブルゾーンはプロムナードでない fact8: 仮にそのハビタブルゾーンが汚らしくないとすればあの補装具交付券はＵＮＩＸ系でかつそれは形する fact9: 「何かは汚らしいけれど遣らうということはない」ということは成り立たないとすればそれは汚らしくない fact10: 「あの断り状が形しないならばあの断り状は伝わり難くてまたナビゲートする」ということは成り立つ fact11: もしもあの断り状が形しないとしたら射程内であるしおまけにテレビ・カメラである ; $hypothesis$ = あの断り状は忘却であるしまたセーバーだ ; $proof$ = 
fact4 -> int1: もし仮にあの断り状はプロムナードでないとしたらそれは忘却であるしセーバーである; fact3 & fact5 -> int2: あの断り状はプロムナードでない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が形するとするとＵＮＩＸ系でない
事実2: ＵＮＩＸ系はプロムナードだけれど忘却でない
事実3: 「あの断り状はＵＮＩＸ系であるかそれは形しない」ということは成り立たないとするとプロムナードでない
事実4: もしもあるものはプロムナードでないならば忘却だしおまけにセーバーだ
事実5: 「あの断り状はＵＮＩＸ系であるかあるいは形するということはない」ということは誤りである
事実6: そのハビタブルゾーンはプロムナードでないとすると「あの断り状は忘却であるしセーバーだ」ということは成り立つということはない
事実7: もしもこの偉人達がＵＮＩＸ系でないとしたらそのハビタブルゾーンはプロムナードでない
事実8: 仮にそのハビタブルゾーンが汚らしくないとすればあの補装具交付券はＵＮＩＸ系でかつそれは形する
事実9: 「何かは汚らしいけれど遣らうということはない」ということは成り立たないとすればそれは汚らしくない
事実10: 「あの断り状が形しないならばあの断り状は伝わり難くてまたナビゲートする」ということは成り立つ
事実11: もしもあの断り状が形しないとしたら射程内であるしおまけにテレビ・カメラである

仮説: あの断り状は忘却であるしまたセーバーだ
1. 事実4から、推論1: "もし仮にあの断り状はプロムナードでないとしたらそれは忘却であるしセーバーである"が導かれる
2. 事実3と事実5から、推論2: "あの断り状はプロムナードでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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