この生存競争は照らし始める
fact1: この法螺貝は羚羊でない fact2: 「この生存競争は監部だがフランス人らしくない」ということは成り立たない fact3: もしなにがしかのものが勢い付かないとしたら任意事業であるかまたは照らし始めるか両方である fact4: 「この並列は照らし始めない」ということは正しい fact5: この法螺貝は勢い付かなくてその上三列でないとすればフランス人らしい fact6: 仮に「この生存競争は発覚する」ということは真実だとしたらそれは共する fact7: この生存競争は発覚する fact8: なにかは勢い付かないとすれば羚羊である fact9: この生存競争が監部だとすればこの並列は任意事業でない fact10: もし「この生存競争は監部でないしそれにフランス人らしくない」ということは間違っているとしたらこの並列は任意事業だということはない fact11: この生存競争は監部でなくてフランス人らしくないとすると三列だ fact12: 三列が共するなら照らし始めない fact13: 羚羊は勢い付かない fact14: 「仮にこの並列が任意事業でないならばあの法螺貝は勢い付かない」ということは成り立つ
void -> assump1: 以下のように仮定する。「この生存競争は監部でなくてフランス人らしいということはない」ということは誤りだ; fact10 & assump1 -> int1: この並列は任意事業だということはない; int1 & fact14 -> int2: この法螺貝は勢い付かない; fact8 -> int3: この法螺貝が勢い付かないならそれは羚羊だ; int2 & int3 -> int4: この法螺貝は羚羊である; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: この生存競争は監部でないししかもそれはフランス人らしいということはない; int6 & fact11 -> int7: この生存競争は三列だ; fact6 & fact7 -> int8: この生存競争は共する; int7 & int8 -> int9: この生存競争は三列で共する; fact12 -> int10: 仮にこの生存競争が三列だししかもそれは共すれば「照らし始めない」ということは真実である; int9 & int10 -> hypothesis;
この生存競争は照らし始める
fact16 -> int11: この並列が勢い付かないならばそれは任意事業であるかまたは照らし始める; fact15 -> int12: もしもこの並列が羚羊ならばそれは勢い付かない;
$facts$ = fact1: この法螺貝は羚羊でない fact2: 「この生存競争は監部だがフランス人らしくない」ということは成り立たない fact3: もしなにがしかのものが勢い付かないとしたら任意事業であるかまたは照らし始めるか両方である fact4: 「この並列は照らし始めない」ということは正しい fact5: この法螺貝は勢い付かなくてその上三列でないとすればフランス人らしい fact6: 仮に「この生存競争は発覚する」ということは真実だとしたらそれは共する fact7: この生存競争は発覚する fact8: なにかは勢い付かないとすれば羚羊である fact9: この生存競争が監部だとすればこの並列は任意事業でない fact10: もし「この生存競争は監部でないしそれにフランス人らしくない」ということは間違っているとしたらこの並列は任意事業だということはない fact11: この生存競争は監部でなくてフランス人らしくないとすると三列だ fact12: 三列が共するなら照らし始めない fact13: 羚羊は勢い付かない fact14: 「仮にこの並列が任意事業でないならばあの法螺貝は勢い付かない」ということは成り立つ ; $hypothesis$ = この生存競争は照らし始める ; $proof$ = 
void -> assump1: 以下のように仮定する。「この生存競争は監部でなくてフランス人らしいということはない」ということは誤りだ; fact10 & assump1 -> int1: この並列は任意事業だということはない; int1 & fact14 -> int2: この法螺貝は勢い付かない; fact8 -> int3: この法螺貝が勢い付かないならそれは羚羊だ; int2 & int3 -> int4: この法螺貝は羚羊である; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: この生存競争は監部でないししかもそれはフランス人らしいということはない; int6 & fact11 -> int7: この生存競争は三列だ; fact6 & fact7 -> int8: この生存競争は共する; int7 & int8 -> int9: この生存競争は三列で共する; fact12 -> int10: 仮にこの生存競争が三列だししかもそれは共すれば「照らし始めない」ということは真実である; int9 & int10 -> hypothesis; __DISPROVED__
事実1: この法螺貝は羚羊でない
事実2: 「この生存競争は監部だがフランス人らしくない」ということは成り立たない
事実3: もしなにがしかのものが勢い付かないとしたら任意事業であるかまたは照らし始めるか両方である
事実4: 「この並列は照らし始めない」ということは正しい
事実5: この法螺貝は勢い付かなくてその上三列でないとすればフランス人らしい
事実6: 仮に「この生存競争は発覚する」ということは真実だとしたらそれは共する
事実7: この生存競争は発覚する
事実8: なにかは勢い付かないとすれば羚羊である
事実9: この生存競争が監部だとすればこの並列は任意事業でない
事実10: もし「この生存競争は監部でないしそれにフランス人らしくない」ということは間違っているとしたらこの並列は任意事業だということはない
事実11: この生存競争は監部でなくてフランス人らしくないとすると三列だ
事実12: 三列が共するなら照らし始めない
事実13: 羚羊は勢い付かない
事実14: 「仮にこの並列が任意事業でないならばあの法螺貝は勢い付かない」ということは成り立つ

仮説: この生存競争は照らし始める
1. 仮定1: 以下のように仮定する。「この生存競争は監部でなくてフランス人らしいということはない」ということは誤りだ
2. 事実10と仮定1から、推論1: "この並列は任意事業だということはない"が導かれる
3. 推論1と事実14から、推論2: "この法螺貝は勢い付かない"が導かれる
4. 事実8から、推論3: "この法螺貝が勢い付かないならそれは羚羊だ"が導かれる
5. 推論2と推論3から、推論4: "この法螺貝は羚羊である"が導かれる
6. 推論4と事実1から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この生存競争は監部でないししかもそれはフランス人らしいということはない"が導かれる
8. 推論6と事実11から、推論7: "この生存競争は三列だ"が導かれる
9. 事実6と事実7から、推論8: "この生存競争は共する"が導かれる
10. 推論7と推論8から、推論9: "この生存競争は三列で共する"が導かれる
11. 事実12から、推論10: "仮にこの生存競争が三列だししかもそれは共すれば「照らし始めない」ということは真実である"が導かれる
12. 推論9と推論10から、仮説が否定される

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