あの第一四半期は休憩するということはない
fact1: あの第一四半期は高校卒業後であるししかも御上がる fact2: もし仮に何かは御上がらないとすればそれは出来易いし高校卒業後である fact3: このガントチャートはプロポーズしない fact4: もし仮にあの第一四半期が高校卒業後だとすればそれはプロポーズしなくて出来易い fact5: なにかはプロポーズしない一方で出来易いとすればそれは休憩する fact6: もしあの第一四半期がプロポーズするししかも出来易いとしたら休憩する
fact1 -> int1: あの第一四半期は高校卒業後である; int1 & fact4 -> int2: あの第一四半期はプロポーズしないがしかし出来易い; fact5 -> int3: あの第一四半期がプロポーズしない一方で出来易いならばそれは休憩する; int2 & int3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: (¬{D}{a} & {C}{a}); fact5 -> int3: (¬{D}{a} & {C}{a}) -> {E}{a}; int2 & int3 -> hypothesis;
あの第一四半期は休憩しない
$facts$ = fact1: あの第一四半期は高校卒業後であるししかも御上がる fact2: もし仮に何かは御上がらないとすればそれは出来易いし高校卒業後である fact3: このガントチャートはプロポーズしない fact4: もし仮にあの第一四半期が高校卒業後だとすればそれはプロポーズしなくて出来易い fact5: なにかはプロポーズしない一方で出来易いとすればそれは休憩する fact6: もしあの第一四半期がプロポーズするししかも出来易いとしたら休憩する ; $hypothesis$ = あの第一四半期は休憩するということはない ; $proof$ = 
fact1 -> int1: あの第一四半期は高校卒業後である; int1 & fact4 -> int2: あの第一四半期はプロポーズしないがしかし出来易い; fact5 -> int3: あの第一四半期がプロポーズしない一方で出来易いならばそれは休憩する; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの第一四半期は高校卒業後であるししかも御上がる
事実2: もし仮に何かは御上がらないとすればそれは出来易いし高校卒業後である
事実3: このガントチャートはプロポーズしない
事実4: もし仮にあの第一四半期が高校卒業後だとすればそれはプロポーズしなくて出来易い
事実5: なにかはプロポーズしない一方で出来易いとすればそれは休憩する
事実6: もしあの第一四半期がプロポーズするししかも出来易いとしたら休憩する

仮説: あの第一四半期は休憩するということはない
1. 事実1から、推論1: "あの第一四半期は高校卒業後である"が導かれる
2. 推論1と事実4から、推論2: "あの第一四半期はプロポーズしないがしかし出来易い"が導かれる
3. 事実5から、推論3: "あの第一四半期がプロポーズしない一方で出来易いならばそれは休憩する"が導かれる
4. 推論2と推論3から、仮説が否定される

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