あのダービー家は驕らない
fact1: もし仮にあの教育令が沈殿するならそれは立てである fact2: 「調味する」物はある fact3: あのダービー家は煙たくてまた忘れっぽい fact4: あのダービー家は沈殿する fact5: ある物が沈殿しないとしたら忘れっぽくてかつ調味する fact6: 「あの教育令は忘れっぽくない」ということは正しいとしたらそれは驕るかまたは煙たくない fact7: もし「忘れっぽくて驕る」ものがあればこの弾圧者は調味する fact8: あの教育令は立てでない fact9: あのダービー家はされ易くない fact10: あの教育令は煙たい fact11: もしもこの弾圧者が調味するとすればあの教育令は沈殿する
fact3 -> int1: あのダービー家は忘れっぽい; void -> assump1: 以下のように仮定する。あのダービー家は驕る; int1 & assump1 -> int2: あのダービー家は忘れっぽくてかつ驕る; int2 -> int3: 「「忘れっぽいしかつ驕る」ということは偽でない」物はある; int3 & fact7 -> int4: この弾圧者は調味する; int4 & fact11 -> int5: あの教育令は沈殿する; int5 & fact1 -> int6: あの教育令は立てだ; int6 & fact8 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あのダービー家は驕る
fact12 -> int8: あの教育令は沈殿するということはないとしたら「それは忘れっぽくて調味する」ということは確かである;
$facts$ = fact1: もし仮にあの教育令が沈殿するならそれは立てである fact2: 「調味する」物はある fact3: あのダービー家は煙たくてまた忘れっぽい fact4: あのダービー家は沈殿する fact5: ある物が沈殿しないとしたら忘れっぽくてかつ調味する fact6: 「あの教育令は忘れっぽくない」ということは正しいとしたらそれは驕るかまたは煙たくない fact7: もし「忘れっぽくて驕る」ものがあればこの弾圧者は調味する fact8: あの教育令は立てでない fact9: あのダービー家はされ易くない fact10: あの教育令は煙たい fact11: もしもこの弾圧者が調味するとすればあの教育令は沈殿する ; $hypothesis$ = あのダービー家は驕らない ; $proof$ = 
fact3 -> int1: あのダービー家は忘れっぽい; void -> assump1: 以下のように仮定する。あのダービー家は驕る; int1 & assump1 -> int2: あのダービー家は忘れっぽくてかつ驕る; int2 -> int3: 「「忘れっぽいしかつ驕る」ということは偽でない」物はある; int3 & fact7 -> int4: この弾圧者は調味する; int4 & fact11 -> int5: あの教育令は沈殿する; int5 & fact1 -> int6: あの教育令は立てだ; int6 & fact8 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にあの教育令が沈殿するならそれは立てである
事実2: 「調味する」物はある
事実3: あのダービー家は煙たくてまた忘れっぽい
事実4: あのダービー家は沈殿する
事実5: ある物が沈殿しないとしたら忘れっぽくてかつ調味する
事実6: 「あの教育令は忘れっぽくない」ということは正しいとしたらそれは驕るかまたは煙たくない
事実7: もし「忘れっぽくて驕る」ものがあればこの弾圧者は調味する
事実8: あの教育令は立てでない
事実9: あのダービー家はされ易くない
事実10: あの教育令は煙たい
事実11: もしもこの弾圧者が調味するとすればあの教育令は沈殿する

仮説: あのダービー家は驕らない
1. 事実3から、推論1: "あのダービー家は忘れっぽい"が導かれる
2. 仮定1: 以下のように仮定する。あのダービー家は驕る
3. 推論1と仮定1から、推論2: "あのダービー家は忘れっぽくてかつ驕る"が導かれる
4. 推論2から、推論3: "「「忘れっぽいしかつ驕る」ということは偽でない」物はある"が導かれる
5. 推論3と事実7から、推論4: "この弾圧者は調味する"が導かれる
6. 推論4と事実11から、推論5: "あの教育令は沈殿する"が導かれる
7. 推論5と事実1から、推論6: "あの教育令は立てだ"が導かれる
8. 推論6と事実8から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。