この先後はキーウエストでない
fact1: この最高権力者が口惜しいとすればこの先後は疲労し易い fact2: もしもなにがしかの物が短拍化するとするとそれはキーウエストだ fact3: この最高権力者は口惜しい fact4: 仮にその第四夫人はキーウエストであるなら原動機である fact5: もし「あのメイは短拍化するしまた疲労し易い」ということは成り立たないとすればそれは疲労し易いということはない fact6: とあるものが疲労し易いならば短拍化する
fact1 & fact3 -> int1: 「この先後は疲労し易い」ということは成り立つ; fact6 -> int2: もしもこの先後が疲労し易いなら短拍化する; int1 & int2 -> int3: この先後は短拍化する; fact2 -> int4: 仮にこの先後は短拍化するとしたら「キーウエストである」ということは正しい; int3 & int4 -> hypothesis;
この先後はキーウエストでない
$facts$ = fact1: この最高権力者が口惜しいとすればこの先後は疲労し易い fact2: もしもなにがしかの物が短拍化するとするとそれはキーウエストだ fact3: この最高権力者は口惜しい fact4: 仮にその第四夫人はキーウエストであるなら原動機である fact5: もし「あのメイは短拍化するしまた疲労し易い」ということは成り立たないとすればそれは疲労し易いということはない fact6: とあるものが疲労し易いならば短拍化する ; $hypothesis$ = この先後はキーウエストでない ; $proof$ = 
fact1 & fact3 -> int1: 「この先後は疲労し易い」ということは成り立つ; fact6 -> int2: もしもこの先後が疲労し易いなら短拍化する; int1 & int2 -> int3: この先後は短拍化する; fact2 -> int4: 仮にこの先後は短拍化するとしたら「キーウエストである」ということは正しい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この最高権力者が口惜しいとすればこの先後は疲労し易い
事実2: もしもなにがしかの物が短拍化するとするとそれはキーウエストだ
事実3: この最高権力者は口惜しい
事実4: 仮にその第四夫人はキーウエストであるなら原動機である
事実5: もし「あのメイは短拍化するしまた疲労し易い」ということは成り立たないとすればそれは疲労し易いということはない
事実6: とあるものが疲労し易いならば短拍化する

仮説: この先後はキーウエストでない
1. 事実1と事実3から、推論1: "「この先後は疲労し易い」ということは成り立つ"が導かれる
2. 事実6から、推論2: "もしもこの先後が疲労し易いなら短拍化する"が導かれる
3. 推論1と推論2から、推論3: "この先後は短拍化する"が導かれる
4. 事実2から、推論4: "仮にこの先後は短拍化するとしたら「キーウエストである」ということは正しい"が導かれる
5. 推論3と推論4から、仮説が否定される

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