あの隔年は前段階である
fact1: 仮になにかは鼓吹すればそれは前段階でない fact2: なにかは儚いかあるいはそれが鼓吹すれば前段階でない fact3: あの隔年は儚い fact4: もし仮にあの隔年が鼓吹するなら前段階でない
fact3 -> int1: あの隔年は儚いかそれは鼓吹するかもしくはどちらもである; fact2 -> int2: もしもあの隔年が儚いかもしくは鼓吹するか両方だとすればそれは前段階でない; int1 & int2 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); fact2 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮になにかは鼓吹すればそれは前段階でない fact2: なにかは儚いかあるいはそれが鼓吹すれば前段階でない fact3: あの隔年は儚い fact4: もし仮にあの隔年が鼓吹するなら前段階でない ; $hypothesis$ = あの隔年は前段階である ; $proof$ = 
fact3 -> int1: あの隔年は儚いかそれは鼓吹するかもしくはどちらもである; fact2 -> int2: もしもあの隔年が儚いかもしくは鼓吹するか両方だとすればそれは前段階でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにかは鼓吹すればそれは前段階でない
事実2: なにかは儚いかあるいはそれが鼓吹すれば前段階でない
事実3: あの隔年は儚い
事実4: もし仮にあの隔年が鼓吹するなら前段階でない

仮説: あの隔年は前段階である
1. 事実3から、推論1: "あの隔年は儚いかそれは鼓吹するかもしくはどちらもである"が導かれる
2. 事実2から、推論2: "もしもあの隔年が儚いかもしくは鼓吹するか両方だとすればそれは前段階でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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