あの御使うは熱望する
fact1: 「あの御使うは解け易い」ということは成り立てば自動車教習所である fact2: もし仮にあの御使うは献金すれば「勿体無い」ということは事実である fact3: もし自動車教習所が勿体無いならばそれは熱望しない fact4: あの御使うは解け易い fact5: その安政元年は献金する fact6: もし仮にこの清国政府が解け易いならあの御使うは熱望する fact7: あの御使うは献金する
fact1 & fact4 -> int1: 「あの御使うは自動車教習所である」ということは本当だ; fact2 & fact7 -> int2: あの御使うは勿体無い; int1 & int2 -> int3: あの御使うが自動車教習所だし勿体無い; fact3 -> int4: もしあの御使うは自動車教習所であるし加えて勿体無いとしたら熱望しない; int3 & int4 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; fact2 & fact7 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact3 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
あの御使うは熱望する
$facts$ = fact1: 「あの御使うは解け易い」ということは成り立てば自動車教習所である fact2: もし仮にあの御使うは献金すれば「勿体無い」ということは事実である fact3: もし自動車教習所が勿体無いならばそれは熱望しない fact4: あの御使うは解け易い fact5: その安政元年は献金する fact6: もし仮にこの清国政府が解け易いならあの御使うは熱望する fact7: あの御使うは献金する ; $hypothesis$ = あの御使うは熱望する ; $proof$ = 
fact1 & fact4 -> int1: 「あの御使うは自動車教習所である」ということは本当だ; fact2 & fact7 -> int2: あの御使うは勿体無い; int1 & int2 -> int3: あの御使うが自動車教習所だし勿体無い; fact3 -> int4: もしあの御使うは自動車教習所であるし加えて勿体無いとしたら熱望しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「あの御使うは解け易い」ということは成り立てば自動車教習所である
事実2: もし仮にあの御使うは献金すれば「勿体無い」ということは事実である
事実3: もし自動車教習所が勿体無いならばそれは熱望しない
事実4: あの御使うは解け易い
事実5: その安政元年は献金する
事実6: もし仮にこの清国政府が解け易いならあの御使うは熱望する
事実7: あの御使うは献金する

仮説: あの御使うは熱望する
1. 事実1と事実4から、推論1: "「あの御使うは自動車教習所である」ということは本当だ"が導かれる
2. 事実2と事実7から、推論2: "あの御使うは勿体無い"が導かれる
3. 推論1と推論2から、推論3: "あの御使うが自動車教習所だし勿体無い"が導かれる
4. 事実3から、推論4: "もしあの御使うは自動車教習所であるし加えて勿体無いとしたら熱望しない"が導かれる
5. 推論3と推論4から、仮説が否定される

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