その八重咲きは掛け忘れない
fact1: 仮にこの九谷焼きが掛け忘れないならばあの八重咲きは掛け忘れる fact2: 仮にこの九谷焼きが滞り易くないならばその顧問医は滞り易くない fact3: もしその八重咲きが感心すればこの九谷焼きは滞り易くない fact4: この九谷焼きが滞り易いということはないとすればその顧問医は生白くないし更に滞り易くない fact5: その顧問医は滞り易くない fact6: なんらかのものが生白くないし更に滞り易くないなら「この訴訟資料はクロークでない」ということは成り立つ fact7: この訴訟資料は感心しない fact8: もしその八重咲きは掛け忘れるとすると「感心する」ということは正しい fact9: もし「この九谷焼きは感心するししかもそれは掛け忘れる」ということは事実と異なるとすると「その八重咲きは生白くない」ということは誤りでない fact10: この訴訟資料はクロークであるしそれは二関する件である
void -> assump1: 以下のように仮定する。「その八重咲きは掛け忘れる」ということは確かである; fact8 & assump1 -> int1: その八重咲きは感心する; int1 & fact3 -> int2: この九谷焼きは滞り易くない; int2 & fact4 -> int3: その顧問医は生白くなくてそれに滞り易くない; int3 -> int4: 「生白くなくてそれに滞り易くない」物はある; int4 & fact6 -> int5: この訴訟資料はクロークであるということはない; fact10 -> int6: この訴訟資料はクロークだ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その八重咲きは掛け忘れる
$facts$ = fact1: 仮にこの九谷焼きが掛け忘れないならばあの八重咲きは掛け忘れる fact2: 仮にこの九谷焼きが滞り易くないならばその顧問医は滞り易くない fact3: もしその八重咲きが感心すればこの九谷焼きは滞り易くない fact4: この九谷焼きが滞り易いということはないとすればその顧問医は生白くないし更に滞り易くない fact5: その顧問医は滞り易くない fact6: なんらかのものが生白くないし更に滞り易くないなら「この訴訟資料はクロークでない」ということは成り立つ fact7: この訴訟資料は感心しない fact8: もしその八重咲きは掛け忘れるとすると「感心する」ということは正しい fact9: もし「この九谷焼きは感心するししかもそれは掛け忘れる」ということは事実と異なるとすると「その八重咲きは生白くない」ということは誤りでない fact10: この訴訟資料はクロークであるしそれは二関する件である ; $hypothesis$ = その八重咲きは掛け忘れない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その八重咲きは掛け忘れる」ということは確かである; fact8 & assump1 -> int1: その八重咲きは感心する; int1 & fact3 -> int2: この九谷焼きは滞り易くない; int2 & fact4 -> int3: その顧問医は生白くなくてそれに滞り易くない; int3 -> int4: 「生白くなくてそれに滞り易くない」物はある; int4 & fact6 -> int5: この訴訟資料はクロークであるということはない; fact10 -> int6: この訴訟資料はクロークだ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 仮にこの九谷焼きが掛け忘れないならばあの八重咲きは掛け忘れる
事実2: 仮にこの九谷焼きが滞り易くないならばその顧問医は滞り易くない
事実3: もしその八重咲きが感心すればこの九谷焼きは滞り易くない
事実4: この九谷焼きが滞り易いということはないとすればその顧問医は生白くないし更に滞り易くない
事実5: その顧問医は滞り易くない
事実6: なんらかのものが生白くないし更に滞り易くないなら「この訴訟資料はクロークでない」ということは成り立つ
事実7: この訴訟資料は感心しない
事実8: もしその八重咲きは掛け忘れるとすると「感心する」ということは正しい
事実9: もし「この九谷焼きは感心するししかもそれは掛け忘れる」ということは事実と異なるとすると「その八重咲きは生白くない」ということは誤りでない
事実10: この訴訟資料はクロークであるしそれは二関する件である

仮説: その八重咲きは掛け忘れない
1. 仮定1: 以下のように仮定する。「その八重咲きは掛け忘れる」ということは確かである
2. 事実8と仮定1から、推論1: "その八重咲きは感心する"が導かれる
3. 推論1と事実3から、推論2: "この九谷焼きは滞り易くない"が導かれる
4. 推論2と事実4から、推論3: "その顧問医は生白くなくてそれに滞り易くない"が導かれる
5. 推論3から、推論4: "「生白くなくてそれに滞り易くない」物はある"が導かれる
6. 推論4と事実6から、推論5: "この訴訟資料はクロークであるということはない"が導かれる
7. 事実10から、推論6: "この訴訟資料はクロークだ"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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