この残元本は持ち出しでない
fact1: もし仮に「そのカーキは持ち出しだ」ということは成り立つとするとこの残元本は二作である fact2: そのカーキは持ち出しでない fact3: なんらかのものは国際連盟であるということはないが全開するとすると流され易くない fact4: その遺留分請求は相談する fact5: この残元本は生き難くない fact6: 仮になんらかのものが金銅だということはない一方で共同応募ならばそれは持ち出しであるということはない fact7: 「そのカーキは二作である一方で相談しない」ということは偽だ fact8: この残元本は相談する fact9: もしあのセトキシジムが二作だということはない一方で金銅であるとすれば共同応募でない fact10: 「そのカーキは相談するがしかし持ち出しでない」ということは偽である fact11: もし「そのカーキは二作であるけれど相談しない」ということは成り立たないとすると「あのセトキシジムは金銅だ」ということは成り立つ fact12: もし「そのカーキは共同応募だが持ち出しでない」ということは成り立たないならこの残元本は二作である fact13: もしあのセトキシジムが金銅ならばこの残元本は金銅でないが共同応募である fact14: そのカーキは御固いということはないけどそれは共同応募だ fact15: もしこの残元本が金銅であるならばあのセトキシジムは共同応募である
fact11 & fact7 -> int1: あのセトキシジムは金銅である; int1 & fact13 -> int2: 「この残元本は金銅でない一方で共同応募である」ということは本当だ; fact6 -> int3: もしこの残元本は金銅でないが共同応募であるならそれは持ち出しでない; int2 & int3 -> hypothesis;
$facts$ = fact1: もし仮に「そのカーキは持ち出しだ」ということは成り立つとするとこの残元本は二作である fact2: そのカーキは持ち出しでない fact3: なんらかのものは国際連盟であるということはないが全開するとすると流され易くない fact4: その遺留分請求は相談する fact5: この残元本は生き難くない fact6: 仮になんらかのものが金銅だということはない一方で共同応募ならばそれは持ち出しであるということはない fact7: 「そのカーキは二作である一方で相談しない」ということは偽だ fact8: この残元本は相談する fact9: もしあのセトキシジムが二作だということはない一方で金銅であるとすれば共同応募でない fact10: 「そのカーキは相談するがしかし持ち出しでない」ということは偽である fact11: もし「そのカーキは二作であるけれど相談しない」ということは成り立たないとすると「あのセトキシジムは金銅だ」ということは成り立つ fact12: もし「そのカーキは共同応募だが持ち出しでない」ということは成り立たないならこの残元本は二作である fact13: もしあのセトキシジムが金銅ならばこの残元本は金銅でないが共同応募である fact14: そのカーキは御固いということはないけどそれは共同応募だ fact15: もしこの残元本が金銅であるならばあのセトキシジムは共同応募である ; $hypothesis$ = この残元本は持ち出しでない ; $proof$ = 
fact11 & fact7 -> int1: あのセトキシジムは金銅である; int1 & fact13 -> int2: 「この残元本は金銅でない一方で共同応募である」ということは本当だ; fact6 -> int3: もしこの残元本は金銅でないが共同応募であるならそれは持ち出しでない; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「そのカーキは持ち出しだ」ということは成り立つとするとこの残元本は二作である
事実2: そのカーキは持ち出しでない
事実3: なんらかのものは国際連盟であるということはないが全開するとすると流され易くない
事実4: その遺留分請求は相談する
事実5: この残元本は生き難くない
事実6: 仮になんらかのものが金銅だということはない一方で共同応募ならばそれは持ち出しであるということはない
事実7: 「そのカーキは二作である一方で相談しない」ということは偽だ
事実8: この残元本は相談する
事実9: もしあのセトキシジムが二作だということはない一方で金銅であるとすれば共同応募でない
事実10: 「そのカーキは相談するがしかし持ち出しでない」ということは偽である
事実11: もし「そのカーキは二作であるけれど相談しない」ということは成り立たないとすると「あのセトキシジムは金銅だ」ということは成り立つ
事実12: もし「そのカーキは共同応募だが持ち出しでない」ということは成り立たないならこの残元本は二作である
事実13: もしあのセトキシジムが金銅ならばこの残元本は金銅でないが共同応募である
事実14: そのカーキは御固いということはないけどそれは共同応募だ
事実15: もしこの残元本が金銅であるならばあのセトキシジムは共同応募である

仮説: この残元本は持ち出しでない
1. 事実11と事実7から、推論1: "あのセトキシジムは金銅である"が導かれる
2. 推論1と事実13から、推論2: "「この残元本は金銅でない一方で共同応募である」ということは本当だ"が導かれる
3. 事実6から、推論3: "もしこの残元本は金銅でないが共同応募であるならそれは持ち出しでない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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