このマイＳＱＬサーバーは動揺し易い
fact1: もしも「なんらかのものは御相談下さる」ということは事実であるとしたら「それは動揺し易い」ということは成り立たない fact2: もしこのマイＳＱＬサーバーは膝掛けであるとすれば御相談下さる fact3: もし仮になにかはテークバックしないとすれば動揺し易いということはなくておまけにそれは図々しいということはない fact4: もしもこのマイＳＱＬサーバーは動揺し易くないしさらに図々しかないとすればそれは御相談下さるということはない fact5: このマイＳＱＬサーバーは膝掛けである
fact2 & fact5 -> int1: このマイＳＱＬサーバーは御相談下さる; fact1 -> int2: もしもこのマイＳＱＬサーバーが御相談下さるとするとそれは動揺し易くない; int1 & int2 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> ¬{C}{a}; int1 & int2 -> hypothesis;
あの出生簿は御相談下さらない
fact6 -> int3: もし仮にあのバケツがテークバックしないとするとそれは動揺し易くないしまた図々しかない;
$facts$ = fact1: もしも「なんらかのものは御相談下さる」ということは事実であるとしたら「それは動揺し易い」ということは成り立たない fact2: もしこのマイＳＱＬサーバーは膝掛けであるとすれば御相談下さる fact3: もし仮になにかはテークバックしないとすれば動揺し易いということはなくておまけにそれは図々しいということはない fact4: もしもこのマイＳＱＬサーバーは動揺し易くないしさらに図々しかないとすればそれは御相談下さるということはない fact5: このマイＳＱＬサーバーは膝掛けである ; $hypothesis$ = このマイＳＱＬサーバーは動揺し易い ; $proof$ = 
fact2 & fact5 -> int1: このマイＳＱＬサーバーは御相談下さる; fact1 -> int2: もしもこのマイＳＱＬサーバーが御相談下さるとするとそれは動揺し易くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「なんらかのものは御相談下さる」ということは事実であるとしたら「それは動揺し易い」ということは成り立たない
事実2: もしこのマイＳＱＬサーバーは膝掛けであるとすれば御相談下さる
事実3: もし仮になにかはテークバックしないとすれば動揺し易いということはなくておまけにそれは図々しいということはない
事実4: もしもこのマイＳＱＬサーバーは動揺し易くないしさらに図々しかないとすればそれは御相談下さるということはない
事実5: このマイＳＱＬサーバーは膝掛けである

仮説: このマイＳＱＬサーバーは動揺し易い
1. 事実2と事実5から、推論1: "このマイＳＱＬサーバーは御相談下さる"が導かれる
2. 事実1から、推論2: "もしもこのマイＳＱＬサーバーが御相談下さるとするとそれは動揺し易くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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