この実施設計は特殊発光インキでないけれど黒い
fact1: もしあの御住職は情報収集しないならば「それは約束出来るしかつ着手する」ということは嘘だ fact2: 「あの御住職は情報収集するということはない」ということは成り立つ fact3: もしもこのカルタが硬変でないとしたらあの教会生活はセピア色であるしまた御願い出来る fact4: 「この街道筋は情報収集するということはない」ということは成り立つ fact5: もしあの御住職は情報収集するということはないとすれば「それは約束出来るということはないけど着手する」ということは事実と異なる fact6: もしもこのカルタは硬変でないなら「あの教会生活はセピア色である」ということは成り立つ fact7: もし「あの御住職は約束出来ないがしかし着手する」ということは成り立たないとしたらこのカルタは硬変でない fact8: もし仮にあの教会生活が御願い出来るとするとそれは取り越す fact9: この実施設計は特殊発光インキでない fact10: 「あの教会生活は取り越す」ということは本当であるとするとこの実施設計は特殊発光インキでない一方で黒い fact11: あの教会生活はセピア色だ fact12: 仮にあの御住職が約束出来るとするとこのカルタは硬変でない
fact5 & fact2 -> int1: 「あの御住職は約束出来ないけど着手する」ということは誤っている; int1 & fact7 -> int2: このカルタは硬変でない; int2 & fact3 -> int3: あの教会生活はセピア色であるしかつ御願い出来る; int3 -> int4: あの教会生活は御願い出来る; int4 & fact8 -> int5: あの教会生活は取り越す; int5 & fact10 -> hypothesis;
$facts$ = fact1: もしあの御住職は情報収集しないならば「それは約束出来るしかつ着手する」ということは嘘だ fact2: 「あの御住職は情報収集するということはない」ということは成り立つ fact3: もしもこのカルタが硬変でないとしたらあの教会生活はセピア色であるしまた御願い出来る fact4: 「この街道筋は情報収集するということはない」ということは成り立つ fact5: もしあの御住職は情報収集するということはないとすれば「それは約束出来るということはないけど着手する」ということは事実と異なる fact6: もしもこのカルタは硬変でないなら「あの教会生活はセピア色である」ということは成り立つ fact7: もし「あの御住職は約束出来ないがしかし着手する」ということは成り立たないとしたらこのカルタは硬変でない fact8: もし仮にあの教会生活が御願い出来るとするとそれは取り越す fact9: この実施設計は特殊発光インキでない fact10: 「あの教会生活は取り越す」ということは本当であるとするとこの実施設計は特殊発光インキでない一方で黒い fact11: あの教会生活はセピア色だ fact12: 仮にあの御住職が約束出来るとするとこのカルタは硬変でない ; $hypothesis$ = この実施設計は特殊発光インキでないけれど黒い ; $proof$ = 
fact5 & fact2 -> int1: 「あの御住職は約束出来ないけど着手する」ということは誤っている; int1 & fact7 -> int2: このカルタは硬変でない; int2 & fact3 -> int3: あの教会生活はセピア色であるしかつ御願い出来る; int3 -> int4: あの教会生活は御願い出来る; int4 & fact8 -> int5: あの教会生活は取り越す; int5 & fact10 -> hypothesis; __PROVED__
事実1: もしあの御住職は情報収集しないならば「それは約束出来るしかつ着手する」ということは嘘だ
事実2: 「あの御住職は情報収集するということはない」ということは成り立つ
事実3: もしもこのカルタが硬変でないとしたらあの教会生活はセピア色であるしまた御願い出来る
事実4: 「この街道筋は情報収集するということはない」ということは成り立つ
事実5: もしあの御住職は情報収集するということはないとすれば「それは約束出来るということはないけど着手する」ということは事実と異なる
事実6: もしもこのカルタは硬変でないなら「あの教会生活はセピア色である」ということは成り立つ
事実7: もし「あの御住職は約束出来ないがしかし着手する」ということは成り立たないとしたらこのカルタは硬変でない
事実8: もし仮にあの教会生活が御願い出来るとするとそれは取り越す
事実9: この実施設計は特殊発光インキでない
事実10: 「あの教会生活は取り越す」ということは本当であるとするとこの実施設計は特殊発光インキでない一方で黒い
事実11: あの教会生活はセピア色だ
事実12: 仮にあの御住職が約束出来るとするとこのカルタは硬変でない

仮説: この実施設計は特殊発光インキでないけれど黒い
1. 事実5と事実2から、推論1: "「あの御住職は約束出来ないけど着手する」ということは誤っている"が導かれる
2. 推論1と事実7から、推論2: "このカルタは硬変でない"が導かれる
3. 推論2と事実3から、推論3: "あの教会生活はセピア色であるしかつ御願い出来る"が導かれる
4. 推論3から、推論4: "あの教会生活は御願い出来る"が導かれる
5. 推論4と事実8から、推論5: "あの教会生活は取り越す"が導かれる
6. 推論5と事実10から、仮説が導かれる

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