このロイヤルティは許し難いかまたは決定し得る
fact1: もし仮にこの国鉄労組が現われ易いとするとこの阻害因子は拭い難い fact2: もしもこの国鉄労組は全額支給するとすれば「それは一．五倍程度だということはなくてそれは現われ易くない」ということは偽だ fact3: この自衛手段は胃下垂であるしそれは御連れ下さる fact4: その羨道は胃下垂だ fact5: このロイヤルティは胃下垂である fact6: この国鉄労組は分化出来るし加えて全額支給する fact7: この将軍霊廟は事しないとしたら「この解剖学的特徴は御連れ下さるということはない」ということは正しい fact8: この自衛手段は決定し得る fact9: もしあの大陸が激賞すればこの将軍霊廟は事しないかまたは切り替え方法でないかもしくは両方である fact10: この自衛手段は御連れ下さるかぴんぴんする fact11: あの南京路は御連れ下さる fact12: 「その水墨は御連れ下さる」ということは確かである fact13: このロイヤルティは見境無い fact14: 何かは拭い難いなら食い慣れる fact15: もしも「何かは一．五倍程度でないしその上それは現われ易いということはない」ということは成り立たないとすると現われ易い fact16: 何らかの物は胃下垂でないとすると「許し難いかあるいは決定し得るかまたは両方だ」ということは確かでない fact17: この自衛手段は賑わす fact18: もしも「この自衛手段は胃下垂でないかあるいは選択し易い」ということは間違いであるとするとこのロイヤルティは胃下垂でない fact19: もしもこの将軍霊廟は切り替え方法であるということはないとすれば「この解剖学的特徴は御連れ下さらない」ということは本当である fact20: この自衛手段は胃下垂である fact21: もし仮にあるものが食い慣れるとするとあの大陸は激賞する fact22: この自衛手段が御連れ下さるとするとこのロイヤルティは許し難い
fact3 -> int1: この自衛手段は御連れ下さる; int1 & fact22 -> int2: このロイヤルティは許し難い; int2 -> hypothesis;
「「このロイヤルティは許し難いかまたは決定し得る」ということは成り立たない」ということは本当である
fact26 -> int3: もし仮にこのロイヤルティは胃下垂でないなら「許し難いかもしくはそれは決定し得る」ということは成り立たない; fact30 -> int4: この阻害因子が拭い難いとすれば食い慣れる; fact33 -> int5: もし仮に「この国鉄労組は一．五倍程度でなくてまた現われ易くない」ということは誤りであるとすれば現われ易い; fact29 -> int6: この国鉄労組は全額支給する; fact23 & int6 -> int7: 「この国鉄労組は一．五倍程度だということはないししかもそれは現われ易くない」ということは誤っている; int5 & int7 -> int8: この国鉄労組は現われ易い; fact32 & int8 -> int9: この阻害因子は拭い難い; int4 & int9 -> int10: この阻害因子は食い慣れる; int10 -> int11: 「食い慣れる」物はある; int11 & fact27 -> int12: あの大陸は激賞する; fact25 & int12 -> int13: この将軍霊廟は事しないかそれは切り替え方法でない; int13 & fact28 & fact31 -> int14: この解剖学的特徴は御連れ下さらない; int14 -> int15: 「御連れ下さらない」ものはある;
$facts$ = fact1: もし仮にこの国鉄労組が現われ易いとするとこの阻害因子は拭い難い fact2: もしもこの国鉄労組は全額支給するとすれば「それは一．五倍程度だということはなくてそれは現われ易くない」ということは偽だ fact3: この自衛手段は胃下垂であるしそれは御連れ下さる fact4: その羨道は胃下垂だ fact5: このロイヤルティは胃下垂である fact6: この国鉄労組は分化出来るし加えて全額支給する fact7: この将軍霊廟は事しないとしたら「この解剖学的特徴は御連れ下さるということはない」ということは正しい fact8: この自衛手段は決定し得る fact9: もしあの大陸が激賞すればこの将軍霊廟は事しないかまたは切り替え方法でないかもしくは両方である fact10: この自衛手段は御連れ下さるかぴんぴんする fact11: あの南京路は御連れ下さる fact12: 「その水墨は御連れ下さる」ということは確かである fact13: このロイヤルティは見境無い fact14: 何かは拭い難いなら食い慣れる fact15: もしも「何かは一．五倍程度でないしその上それは現われ易いということはない」ということは成り立たないとすると現われ易い fact16: 何らかの物は胃下垂でないとすると「許し難いかあるいは決定し得るかまたは両方だ」ということは確かでない fact17: この自衛手段は賑わす fact18: もしも「この自衛手段は胃下垂でないかあるいは選択し易い」ということは間違いであるとするとこのロイヤルティは胃下垂でない fact19: もしもこの将軍霊廟は切り替え方法であるということはないとすれば「この解剖学的特徴は御連れ下さらない」ということは本当である fact20: この自衛手段は胃下垂である fact21: もし仮にあるものが食い慣れるとするとあの大陸は激賞する fact22: この自衛手段が御連れ下さるとするとこのロイヤルティは許し難い ; $hypothesis$ = このロイヤルティは許し難いかまたは決定し得る ; $proof$ = 
fact3 -> int1: この自衛手段は御連れ下さる; int1 & fact22 -> int2: このロイヤルティは許し難い; int2 -> hypothesis; __PROVED__
事実1: もし仮にこの国鉄労組が現われ易いとするとこの阻害因子は拭い難い
事実2: もしもこの国鉄労組は全額支給するとすれば「それは一．五倍程度だということはなくてそれは現われ易くない」ということは偽だ
事実3: この自衛手段は胃下垂であるしそれは御連れ下さる
事実4: その羨道は胃下垂だ
事実5: このロイヤルティは胃下垂である
事実6: この国鉄労組は分化出来るし加えて全額支給する
事実7: この将軍霊廟は事しないとしたら「この解剖学的特徴は御連れ下さるということはない」ということは正しい
事実8: この自衛手段は決定し得る
事実9: もしあの大陸が激賞すればこの将軍霊廟は事しないかまたは切り替え方法でないかもしくは両方である
事実10: この自衛手段は御連れ下さるかぴんぴんする
事実11: あの南京路は御連れ下さる
事実12: 「その水墨は御連れ下さる」ということは確かである
事実13: このロイヤルティは見境無い
事実14: 何かは拭い難いなら食い慣れる
事実15: もしも「何かは一．五倍程度でないしその上それは現われ易いということはない」ということは成り立たないとすると現われ易い
事実16: 何らかの物は胃下垂でないとすると「許し難いかあるいは決定し得るかまたは両方だ」ということは確かでない
事実17: この自衛手段は賑わす
事実18: もしも「この自衛手段は胃下垂でないかあるいは選択し易い」ということは間違いであるとするとこのロイヤルティは胃下垂でない
事実19: もしもこの将軍霊廟は切り替え方法であるということはないとすれば「この解剖学的特徴は御連れ下さらない」ということは本当である
事実20: この自衛手段は胃下垂である
事実21: もし仮にあるものが食い慣れるとするとあの大陸は激賞する
事実22: この自衛手段が御連れ下さるとするとこのロイヤルティは許し難い

仮説: このロイヤルティは許し難いかまたは決定し得る
1. 事実3から、推論1: "この自衛手段は御連れ下さる"が導かれる
2. 推論1と事実22から、推論2: "このロイヤルティは許し難い"が導かれる
3. 推論2から、仮説が導かれる

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