その経時的変化は船長さんである
fact1: もし仮に「とあるものは手形交換所であるか格好悪い」ということは成り立つとすると「それは船長さんでない」ということは事実である fact2: この日以後は船長さんでない fact3: 仮に「あの古今東西は生まれ持つけどそれは惨めったらしくない」ということは成り立つということはないとすると生まれ持つということはない fact4: その経時的変化は手形交換所であるとしたら船長さんでない fact5: その大学評価・学位授与機構は手形交換所であるかまたはすっごいかもしくは両方である fact6: 仮に「あの古今東西は生まれ持つということはない」ということは確かならそれは御断り致すし加えて出会い易い fact7: もしなんらかのものは御断り致さないとすれば「それは格好悪くないしまた手形交換所でない」ということは成り立たない fact8: その経時的変化は御断り致す fact9: その経時的変化は格好悪い fact10: その経時的変化は筒状である fact11: 仮にあの古今東西は生まれ持たないならば「それは御断り致すし出会い易い」ということは成り立たない
fact9 -> int1: その経時的変化は手形交換所であるかあるいは格好悪い; fact1 -> int2: 仮にその経時的変化が手形交換所であるかまたはそれは格好悪いならば「船長さんでない」ということは真実だ; int1 & int2 -> hypothesis;
fact9 -> int1: ({A}{a} v {B}{a}); fact1 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
その経時的変化は船長さんだ
$facts$ = fact1: もし仮に「とあるものは手形交換所であるか格好悪い」ということは成り立つとすると「それは船長さんでない」ということは事実である fact2: この日以後は船長さんでない fact3: 仮に「あの古今東西は生まれ持つけどそれは惨めったらしくない」ということは成り立つということはないとすると生まれ持つということはない fact4: その経時的変化は手形交換所であるとしたら船長さんでない fact5: その大学評価・学位授与機構は手形交換所であるかまたはすっごいかもしくは両方である fact6: 仮に「あの古今東西は生まれ持つということはない」ということは確かならそれは御断り致すし加えて出会い易い fact7: もしなんらかのものは御断り致さないとすれば「それは格好悪くないしまた手形交換所でない」ということは成り立たない fact8: その経時的変化は御断り致す fact9: その経時的変化は格好悪い fact10: その経時的変化は筒状である fact11: 仮にあの古今東西は生まれ持たないならば「それは御断り致すし出会い易い」ということは成り立たない ; $hypothesis$ = その経時的変化は船長さんである ; $proof$ = 
fact9 -> int1: その経時的変化は手形交換所であるかあるいは格好悪い; fact1 -> int2: 仮にその経時的変化が手形交換所であるかまたはそれは格好悪いならば「船長さんでない」ということは真実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「とあるものは手形交換所であるか格好悪い」ということは成り立つとすると「それは船長さんでない」ということは事実である
事実2: この日以後は船長さんでない
事実3: 仮に「あの古今東西は生まれ持つけどそれは惨めったらしくない」ということは成り立つということはないとすると生まれ持つということはない
事実4: その経時的変化は手形交換所であるとしたら船長さんでない
事実5: その大学評価・学位授与機構は手形交換所であるかまたはすっごいかもしくは両方である
事実6: 仮に「あの古今東西は生まれ持つということはない」ということは確かならそれは御断り致すし加えて出会い易い
事実7: もしなんらかのものは御断り致さないとすれば「それは格好悪くないしまた手形交換所でない」ということは成り立たない
事実8: その経時的変化は御断り致す
事実9: その経時的変化は格好悪い
事実10: その経時的変化は筒状である
事実11: 仮にあの古今東西は生まれ持たないならば「それは御断り致すし出会い易い」ということは成り立たない

仮説: その経時的変化は船長さんである
1. 事実9から、推論1: "その経時的変化は手形交換所であるかあるいは格好悪い"が導かれる
2. 事実1から、推論2: "仮にその経時的変化が手形交換所であるかまたはそれは格好悪いならば「船長さんでない」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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