この舞台面は時間稼ぎだ
fact1: この舞台面が時間稼ぎだとすればあの社会的成功は時間稼ぎだ fact2: あのクリーム煮は女らしくない fact3: そのポケットベルは液化するとすると「この舞台面は受け取られ兼ねるけど親権者・監護者でない」ということは間違いだ fact4: 仮にそのポケットベルが復すればこの舞台面は復する fact5: もし仮になにがしかのものがクローズしないとしたらそれは液化するかあるいはそれは郷長であるかどちらもである fact6: もし仮にあのクリーム煮が女らしいがしかし復しないとすればあの社会的成功は女らしい fact7: 「この社会的成功は破損するということはないけれど管理し易い」ということは本当でないならそれはクローズしない fact8: この社会的成功は復する fact9: もし仮に「何らかのものは女らしくないかまたは可愛らしいかあるいは両方ともである」ということは誤りだとすれば「それは時間稼ぎである」ということは成り立つ fact10: この社会的成功が女らしいとしたらそのポケットベルは女らしい fact11: 「この社会的成功は破損しないけれど管理し易い」ということは成り立たない fact12: あのクリーム煮は女らしくないし辿り着けない fact13: 「この舞台面は可愛らしい」ということは成り立つ fact14: もし「とあるものは受け取られ兼ねるけれどそれは親権者・監護者でない」ということは成り立たないとすると復する fact15: あのクリーム煮は女らしくないししかも復しない fact16: もし仮にあのクリーム煮が復しなくてまた女らしいということはないとしたらこの社会的成功は復する fact17: この舞台面が時間稼ぎだしさらにそれが可愛らしいならそのポケットベルは女らしくない fact18: この舞台面は女らしい fact19: もしもあのクリーム煮は女らしくないししかも復するということはないとすれば「この社会的成功は女らしい」ということは成り立つ
void -> assump1: 以下のように仮定する。この舞台面は時間稼ぎだ; assump1 & fact13 -> int1: この舞台面は時間稼ぎで加えて可愛らしい; int1 & fact17 -> int2: そのポケットベルは女らしくない; fact15 & fact19 -> int3: この社会的成功は女らしい; int3 & fact10 -> int4: そのポケットベルは女らしい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この舞台面は時間稼ぎだ
fact24 -> int6: 「この舞台面は女らしくないかそれは可愛らしい」ということは嘘ならばそれは時間稼ぎである; fact23 -> int7: もしも「「この舞台面は受け取られ兼ねるがしかし親権者・監護者でない」ということは偽だ」ということは真実だとしたら復する; fact20 -> int8: 仮にこの社会的成功がクローズしないならばそれは液化するかあるいは郷長であるかあるいは両方ともだ; fact25 & fact22 -> int9: この社会的成功はクローズしない; int8 & int9 -> int10: この社会的成功は液化するかまたは郷長であるかまたは両方ともだ;
$facts$ = fact1: この舞台面が時間稼ぎだとすればあの社会的成功は時間稼ぎだ fact2: あのクリーム煮は女らしくない fact3: そのポケットベルは液化するとすると「この舞台面は受け取られ兼ねるけど親権者・監護者でない」ということは間違いだ fact4: 仮にそのポケットベルが復すればこの舞台面は復する fact5: もし仮になにがしかのものがクローズしないとしたらそれは液化するかあるいはそれは郷長であるかどちらもである fact6: もし仮にあのクリーム煮が女らしいがしかし復しないとすればあの社会的成功は女らしい fact7: 「この社会的成功は破損するということはないけれど管理し易い」ということは本当でないならそれはクローズしない fact8: この社会的成功は復する fact9: もし仮に「何らかのものは女らしくないかまたは可愛らしいかあるいは両方ともである」ということは誤りだとすれば「それは時間稼ぎである」ということは成り立つ fact10: この社会的成功が女らしいとしたらそのポケットベルは女らしい fact11: 「この社会的成功は破損しないけれど管理し易い」ということは成り立たない fact12: あのクリーム煮は女らしくないし辿り着けない fact13: 「この舞台面は可愛らしい」ということは成り立つ fact14: もし「とあるものは受け取られ兼ねるけれどそれは親権者・監護者でない」ということは成り立たないとすると復する fact15: あのクリーム煮は女らしくないししかも復しない fact16: もし仮にあのクリーム煮が復しなくてまた女らしいということはないとしたらこの社会的成功は復する fact17: この舞台面が時間稼ぎだしさらにそれが可愛らしいならそのポケットベルは女らしくない fact18: この舞台面は女らしい fact19: もしもあのクリーム煮は女らしくないししかも復するということはないとすれば「この社会的成功は女らしい」ということは成り立つ ; $hypothesis$ = この舞台面は時間稼ぎだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この舞台面は時間稼ぎだ; assump1 & fact13 -> int1: この舞台面は時間稼ぎで加えて可愛らしい; int1 & fact17 -> int2: そのポケットベルは女らしくない; fact15 & fact19 -> int3: この社会的成功は女らしい; int3 & fact10 -> int4: そのポケットベルは女らしい; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この舞台面が時間稼ぎだとすればあの社会的成功は時間稼ぎだ
事実2: あのクリーム煮は女らしくない
事実3: そのポケットベルは液化するとすると「この舞台面は受け取られ兼ねるけど親権者・監護者でない」ということは間違いだ
事実4: 仮にそのポケットベルが復すればこの舞台面は復する
事実5: もし仮になにがしかのものがクローズしないとしたらそれは液化するかあるいはそれは郷長であるかどちらもである
事実6: もし仮にあのクリーム煮が女らしいがしかし復しないとすればあの社会的成功は女らしい
事実7: 「この社会的成功は破損するということはないけれど管理し易い」ということは本当でないならそれはクローズしない
事実8: この社会的成功は復する
事実9: もし仮に「何らかのものは女らしくないかまたは可愛らしいかあるいは両方ともである」ということは誤りだとすれば「それは時間稼ぎである」ということは成り立つ
事実10: この社会的成功が女らしいとしたらそのポケットベルは女らしい
事実11: 「この社会的成功は破損しないけれど管理し易い」ということは成り立たない
事実12: あのクリーム煮は女らしくないし辿り着けない
事実13: 「この舞台面は可愛らしい」ということは成り立つ
事実14: もし「とあるものは受け取られ兼ねるけれどそれは親権者・監護者でない」ということは成り立たないとすると復する
事実15: あのクリーム煮は女らしくないししかも復しない
事実16: もし仮にあのクリーム煮が復しなくてまた女らしいということはないとしたらこの社会的成功は復する
事実17: この舞台面が時間稼ぎだしさらにそれが可愛らしいならそのポケットベルは女らしくない
事実18: この舞台面は女らしい
事実19: もしもあのクリーム煮は女らしくないししかも復するということはないとすれば「この社会的成功は女らしい」ということは成り立つ

仮説: この舞台面は時間稼ぎだ
1. 仮定1: 以下のように仮定する。この舞台面は時間稼ぎだ
2. 仮定1と事実13から、推論1: "この舞台面は時間稼ぎで加えて可愛らしい"が導かれる
3. 推論1と事実17から、推論2: "そのポケットベルは女らしくない"が導かれる
4. 事実15と事実19から、推論3: "この社会的成功は女らしい"が導かれる
5. 推論3と事実10から、推論4: "そのポケットベルは女らしい"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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