「とある物は喜び合うしまた淘汰する」ということは偽である
fact1: 「「引っ込める」ということは確かな」物はある fact2: 仮に何かは淘汰しないとしたらそれは断り難いししかも採種する fact3: このカントは成功し易い fact4: あのタキシード姿は荒振る fact5: このカントは回り道しない fact6: あの常同は荒振らないしさらに成功し易くない fact7: もし仮になにがしかの物が喜び合わないならばそれは引っ込めなくて隠である fact8: 何らかの物が荒振らないししかもそれが成功し易いということはないならばそれは淘汰しない fact9: 「あのタキシード姿は断り難くて隠だ」ということは成り立つ fact10: あのタキシード姿は荒振るしさらに引っ込める fact11: ある物は喜び合う fact12: もし仮にとある物は隠であるしおまけに引っ込めれば「このカントは喜び合う」ということは本当だ fact13: 「荒振るし更に隠である」物はある fact14: もしも「このカントは回り道しない」ということは成り立つとすればそれは成功し易い fact15: もしもとある物が引っ込めるということはないけれど隠であるとするとあの常同は予定説だ fact16: 「このカントは回り道しない」ということは偽でないならば「それは成功し易くて淘汰する」ということは本当である
fact9 -> int1: 「あのタキシード姿は隠である」ということは正しい; fact10 -> int2: あのタキシード姿は引っ込める; int1 & int2 -> int3: あのタキシード姿は隠で引っ込める; int3 -> int4: 何らかの物は隠だしさらに引っ込める; int4 & fact12 -> int5: このカントは喜び合う; fact16 & fact5 -> int6: このカントは成功し易いし淘汰する; int6 -> int7: このカントは淘汰する; int5 & int7 -> int8: このカントは喜び合うしまた淘汰する; int8 -> hypothesis;
あの常同は予定説だし採種する
fact19 -> int9: 仮にあのタキシード姿が喜び合わないならそれは引っ込めなくてそれは隠だ; fact17 -> int10: もしもあの常同が淘汰しないなら断り難くて採種する; fact21 -> int11: 仮にあの常同は荒振らなくて成功し易くないとすると淘汰しない; int11 & fact20 -> int12: あの常同は淘汰しない; int10 & int12 -> int13: あの常同は断り難くてかつそれは採種する; int13 -> int14: あの常同は採種する;
$facts$ = fact1: 「「引っ込める」ということは確かな」物はある fact2: 仮に何かは淘汰しないとしたらそれは断り難いししかも採種する fact3: このカントは成功し易い fact4: あのタキシード姿は荒振る fact5: このカントは回り道しない fact6: あの常同は荒振らないしさらに成功し易くない fact7: もし仮になにがしかの物が喜び合わないならばそれは引っ込めなくて隠である fact8: 何らかの物が荒振らないししかもそれが成功し易いということはないならばそれは淘汰しない fact9: 「あのタキシード姿は断り難くて隠だ」ということは成り立つ fact10: あのタキシード姿は荒振るしさらに引っ込める fact11: ある物は喜び合う fact12: もし仮にとある物は隠であるしおまけに引っ込めれば「このカントは喜び合う」ということは本当だ fact13: 「荒振るし更に隠である」物はある fact14: もしも「このカントは回り道しない」ということは成り立つとすればそれは成功し易い fact15: もしもとある物が引っ込めるということはないけれど隠であるとするとあの常同は予定説だ fact16: 「このカントは回り道しない」ということは偽でないならば「それは成功し易くて淘汰する」ということは本当である ; $hypothesis$ = 「とある物は喜び合うしまた淘汰する」ということは偽である ; $proof$ = 
fact9 -> int1: 「あのタキシード姿は隠である」ということは正しい; fact10 -> int2: あのタキシード姿は引っ込める; int1 & int2 -> int3: あのタキシード姿は隠で引っ込める; int3 -> int4: 何らかの物は隠だしさらに引っ込める; int4 & fact12 -> int5: このカントは喜び合う; fact16 & fact5 -> int6: このカントは成功し易いし淘汰する; int6 -> int7: このカントは淘汰する; int5 & int7 -> int8: このカントは喜び合うしまた淘汰する; int8 -> hypothesis; __DISPROVED__
事実1: 「「引っ込める」ということは確かな」物はある
事実2: 仮に何かは淘汰しないとしたらそれは断り難いししかも採種する
事実3: このカントは成功し易い
事実4: あのタキシード姿は荒振る
事実5: このカントは回り道しない
事実6: あの常同は荒振らないしさらに成功し易くない
事実7: もし仮になにがしかの物が喜び合わないならばそれは引っ込めなくて隠である
事実8: 何らかの物が荒振らないししかもそれが成功し易いということはないならばそれは淘汰しない
事実9: 「あのタキシード姿は断り難くて隠だ」ということは成り立つ
事実10: あのタキシード姿は荒振るしさらに引っ込める
事実11: ある物は喜び合う
事実12: もし仮にとある物は隠であるしおまけに引っ込めれば「このカントは喜び合う」ということは本当だ
事実13: 「荒振るし更に隠である」物はある
事実14: もしも「このカントは回り道しない」ということは成り立つとすればそれは成功し易い
事実15: もしもとある物が引っ込めるということはないけれど隠であるとするとあの常同は予定説だ
事実16: 「このカントは回り道しない」ということは偽でないならば「それは成功し易くて淘汰する」ということは本当である

仮説: 「とある物は喜び合うしまた淘汰する」ということは偽である
1. 事実9から、推論1: "「あのタキシード姿は隠である」ということは正しい"が導かれる
2. 事実10から、推論2: "あのタキシード姿は引っ込める"が導かれる
3. 推論1と推論2から、推論3: "あのタキシード姿は隠で引っ込める"が導かれる
4. 推論3から、推論4: "何らかの物は隠だしさらに引っ込める"が導かれる
5. 推論4と事実12から、推論5: "このカントは喜び合う"が導かれる
6. 事実16と事実5から、推論6: "このカントは成功し易いし淘汰する"が導かれる
7. 推論6から、推論7: "このカントは淘汰する"が導かれる
8. 推論5と推論7から、推論8: "このカントは喜び合うしまた淘汰する"が導かれる
9. 推論8から、仮説が否定される

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