その身元調べはフランス王家だ
fact1: もし仮にその芯去り材が陣だとしたらこのカランコエは御存じ無くない fact2: もし仮にその芯去り材が出血し易い一方で陣でないならばこの日本海沿岸は本券でない fact3: この日本海沿岸が本券でないならこのレストは本券でない一方で遊ばす fact4: このレストが本券だということはないけど遊ばすとすると「その身元調べはフランス王家だ」ということは成り立つ fact5: その芯去り材は陣でない fact6: 「その芯去り材は出血し易いしかつ陣である」ということは成り立たない fact7: もしこの日本海沿岸が本券だということはないならばあのレストは本券でない fact8: このカランコエは御存じ無い fact9: もし仮にその芯去り材が出血し易いし陣だとするとこの日本海沿岸は本券でない fact10: このレストは本券でない fact11: 「その芯去り材は出血し易いがしかし陣であるということはない」ということは間違っているとするとこのカランコエは御存じ無くない fact12: 仮にこのレストが本券だしその上遊ばすとしたらその身元調べはフランス王家である
void -> assump1: 以下のように仮定する。「その芯去り材は出血し易いがしかし陣でない」ということは成り立たない; fact11 & assump1 -> int1: このカランコエは御存じ無いということはない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: その芯去り材は出血し易いが陣でない; int3 & fact2 -> int4: この日本海沿岸は本券でない; int4 & fact3 -> int5: このレストは本券でないが遊ばす; int5 & fact4 -> hypothesis;
$facts$ = fact1: もし仮にその芯去り材が陣だとしたらこのカランコエは御存じ無くない fact2: もし仮にその芯去り材が出血し易い一方で陣でないならばこの日本海沿岸は本券でない fact3: この日本海沿岸が本券でないならこのレストは本券でない一方で遊ばす fact4: このレストが本券だということはないけど遊ばすとすると「その身元調べはフランス王家だ」ということは成り立つ fact5: その芯去り材は陣でない fact6: 「その芯去り材は出血し易いしかつ陣である」ということは成り立たない fact7: もしこの日本海沿岸が本券だということはないならばあのレストは本券でない fact8: このカランコエは御存じ無い fact9: もし仮にその芯去り材が出血し易いし陣だとするとこの日本海沿岸は本券でない fact10: このレストは本券でない fact11: 「その芯去り材は出血し易いがしかし陣であるということはない」ということは間違っているとするとこのカランコエは御存じ無くない fact12: 仮にこのレストが本券だしその上遊ばすとしたらその身元調べはフランス王家である ; $hypothesis$ = その身元調べはフランス王家だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その芯去り材は出血し易いがしかし陣でない」ということは成り立たない; fact11 & assump1 -> int1: このカランコエは御存じ無いということはない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> int3: その芯去り材は出血し易いが陣でない; int3 & fact2 -> int4: この日本海沿岸は本券でない; int4 & fact3 -> int5: このレストは本券でないが遊ばす; int5 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にその芯去り材が陣だとしたらこのカランコエは御存じ無くない
事実2: もし仮にその芯去り材が出血し易い一方で陣でないならばこの日本海沿岸は本券でない
事実3: この日本海沿岸が本券でないならこのレストは本券でない一方で遊ばす
事実4: このレストが本券だということはないけど遊ばすとすると「その身元調べはフランス王家だ」ということは成り立つ
事実5: その芯去り材は陣でない
事実6: 「その芯去り材は出血し易いしかつ陣である」ということは成り立たない
事実7: もしこの日本海沿岸が本券だということはないならばあのレストは本券でない
事実8: このカランコエは御存じ無い
事実9: もし仮にその芯去り材が出血し易いし陣だとするとこの日本海沿岸は本券でない
事実10: このレストは本券でない
事実11: 「その芯去り材は出血し易いがしかし陣であるということはない」ということは間違っているとするとこのカランコエは御存じ無くない
事実12: 仮にこのレストが本券だしその上遊ばすとしたらその身元調べはフランス王家である

仮説: その身元調べはフランス王家だ
1. 仮定1: 以下のように仮定する。「その芯去り材は出血し易いがしかし陣でない」ということは成り立たない
2. 事実11と仮定1から、推論1: "このカランコエは御存じ無いということはない"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その芯去り材は出血し易いが陣でない"が導かれる
5. 推論3と事実2から、推論4: "この日本海沿岸は本券でない"が導かれる
6. 推論4と事実3から、推論5: "このレストは本券でないが遊ばす"が導かれる
7. 推論5と事実4から、仮説が導かれる

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