なにかは離れ難くないか摩り替わるか両方ともである
fact1: もし仮になんらかの物が劣るしそれが英語版であるならこの体組織は金鳳花科である fact2: 「この体組織はきっぱりするが確かめ合わない」ということは成り立たないならその現役世代は金鳳花科だ fact3: この動物性蛋白質は離れ難いか摩り替わる fact4: もし仮に「この体組織は確かめ合うがしかしそれは劣るということはない」ということは成り立たないとするとその現役世代は英語版だ fact5: もし「「その現役世代は金鳳花科でない」ということは成り立つ」ということは成り立たないとすればそれは劣るかまたは英語版でないかあるいは両方ともである fact6: この体組織は御濃くない fact7: 仮にその現役世代が金鳳花科であるならば劣らないかもしくはそれは英語版であるかもしくはどちらもだ fact8: もしも「御濃い」物はあるなら「この体組織は御濃くない一方で摩り替わる」ということは本当でない fact9: 仮にこの体組織が御濃いしかつ顔貌であるならばあの現役世代は顔貌でない fact10: もし仮にこの体組織がきっぱりしないならばその現役世代は金鳳花科である fact11: この動物性蛋白質は英語版だ fact12: この言行は御濃い fact13: この動物性蛋白質は劣る fact14: その現役世代は確かめ合わないかもしくはそれは英語版でないかあるいはどちらもである fact15: ある物は離れ難いかもしくは摩り替わるかまたはどちらもである fact16: 金鳳花科は劣るかまたは英語版でないかあるいはどちらもである fact17: その現役世代が劣らないかまたは英語版でないか両方であるとしたらこの動物性蛋白質は摩り替わる fact18: 仮に何らかの物が金鳳花科だとしたらそれは顔貌である fact19: その現役世代は劣るかあるいはそれは英語版だということはないかもしくはどちらもだ fact20: その迎賓館は鼬でないかそれは雑学辞典でないかもしくはどちらもである fact21: その現役世代は劣らないかそれは英語版であるかあるいはどちらもである fact22: この体組織は御濃いということはないとすれば「それはきっぱりするしかつ確かめ合わない」ということは誤っている fact23: 金鳳花科は劣らないかまたは英語版であるかあるいは両方ともだ fact24: 金鳳花科は劣るということはないかもしくは英語版でないかもしくは両方だ
fact22 & fact6 -> int1: 「この体組織はきっぱりする一方で確かめ合わない」ということは間違っている; int1 & fact2 -> int2: その現役世代は金鳳花科である; fact24 -> int3: その現役世代が金鳳花科だとすれば劣らないかまたは英語版でないかあるいは両方である; int2 & int3 -> int4: その現役世代は劣らないかそれは英語版でない; int4 & fact17 -> int5: 「この動物性蛋白質は摩り替わる」ということは成り立つ; int5 -> int6: この動物性蛋白質は離れ難くないか摩り替わるかあるいは両方である; int6 -> hypothesis;
その現役世代は顔貌でないかそれは齧らないかまたは両方である
fact27 -> int7: 何らかの物は御濃い; int7 & fact30 -> int8: 「この体組織は御濃くないけれど摩り替わる」ということは成り立つということはない; fact29 -> int9: もし「この体組織は金鳳花科である」ということは成り立てば「それは顔貌である」ということは事実である; fact28 & fact26 -> int10: この動物性蛋白質は劣るし英語版だ; int10 -> int11: 何かは劣るしそれに英語版である; int11 & fact25 -> int12: この体組織は金鳳花科である; int9 & int12 -> int13: この体組織は顔貌である;
$facts$ = fact1: もし仮になんらかの物が劣るしそれが英語版であるならこの体組織は金鳳花科である fact2: 「この体組織はきっぱりするが確かめ合わない」ということは成り立たないならその現役世代は金鳳花科だ fact3: この動物性蛋白質は離れ難いか摩り替わる fact4: もし仮に「この体組織は確かめ合うがしかしそれは劣るということはない」ということは成り立たないとするとその現役世代は英語版だ fact5: もし「「その現役世代は金鳳花科でない」ということは成り立つ」ということは成り立たないとすればそれは劣るかまたは英語版でないかあるいは両方ともである fact6: この体組織は御濃くない fact7: 仮にその現役世代が金鳳花科であるならば劣らないかもしくはそれは英語版であるかもしくはどちらもだ fact8: もしも「御濃い」物はあるなら「この体組織は御濃くない一方で摩り替わる」ということは本当でない fact9: 仮にこの体組織が御濃いしかつ顔貌であるならばあの現役世代は顔貌でない fact10: もし仮にこの体組織がきっぱりしないならばその現役世代は金鳳花科である fact11: この動物性蛋白質は英語版だ fact12: この言行は御濃い fact13: この動物性蛋白質は劣る fact14: その現役世代は確かめ合わないかもしくはそれは英語版でないかあるいはどちらもである fact15: ある物は離れ難いかもしくは摩り替わるかまたはどちらもである fact16: 金鳳花科は劣るかまたは英語版でないかあるいはどちらもである fact17: その現役世代が劣らないかまたは英語版でないか両方であるとしたらこの動物性蛋白質は摩り替わる fact18: 仮に何らかの物が金鳳花科だとしたらそれは顔貌である fact19: その現役世代は劣るかあるいはそれは英語版だということはないかもしくはどちらもだ fact20: その迎賓館は鼬でないかそれは雑学辞典でないかもしくはどちらもである fact21: その現役世代は劣らないかそれは英語版であるかあるいはどちらもである fact22: この体組織は御濃いということはないとすれば「それはきっぱりするしかつ確かめ合わない」ということは誤っている fact23: 金鳳花科は劣らないかまたは英語版であるかあるいは両方ともだ fact24: 金鳳花科は劣るということはないかもしくは英語版でないかもしくは両方だ ; $hypothesis$ = なにかは離れ難くないか摩り替わるか両方ともである ; $proof$ = 
fact22 & fact6 -> int1: 「この体組織はきっぱりする一方で確かめ合わない」ということは間違っている; int1 & fact2 -> int2: その現役世代は金鳳花科である; fact24 -> int3: その現役世代が金鳳花科だとすれば劣らないかまたは英語版でないかあるいは両方である; int2 & int3 -> int4: その現役世代は劣らないかそれは英語版でない; int4 & fact17 -> int5: 「この動物性蛋白質は摩り替わる」ということは成り立つ; int5 -> int6: この動物性蛋白質は離れ難くないか摩り替わるかあるいは両方である; int6 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が劣るしそれが英語版であるならこの体組織は金鳳花科である
事実2: 「この体組織はきっぱりするが確かめ合わない」ということは成り立たないならその現役世代は金鳳花科だ
事実3: この動物性蛋白質は離れ難いか摩り替わる
事実4: もし仮に「この体組織は確かめ合うがしかしそれは劣るということはない」ということは成り立たないとするとその現役世代は英語版だ
事実5: もし「「その現役世代は金鳳花科でない」ということは成り立つ」ということは成り立たないとすればそれは劣るかまたは英語版でないかあるいは両方ともである
事実6: この体組織は御濃くない
事実7: 仮にその現役世代が金鳳花科であるならば劣らないかもしくはそれは英語版であるかもしくはどちらもだ
事実8: もしも「御濃い」物はあるなら「この体組織は御濃くない一方で摩り替わる」ということは本当でない
事実9: 仮にこの体組織が御濃いしかつ顔貌であるならばあの現役世代は顔貌でない
事実10: もし仮にこの体組織がきっぱりしないならばその現役世代は金鳳花科である
事実11: この動物性蛋白質は英語版だ
事実12: この言行は御濃い
事実13: この動物性蛋白質は劣る
事実14: その現役世代は確かめ合わないかもしくはそれは英語版でないかあるいはどちらもである
事実15: ある物は離れ難いかもしくは摩り替わるかまたはどちらもである
事実16: 金鳳花科は劣るかまたは英語版でないかあるいはどちらもである
事実17: その現役世代が劣らないかまたは英語版でないか両方であるとしたらこの動物性蛋白質は摩り替わる
事実18: 仮に何らかの物が金鳳花科だとしたらそれは顔貌である
事実19: その現役世代は劣るかあるいはそれは英語版だということはないかもしくはどちらもだ
事実20: その迎賓館は鼬でないかそれは雑学辞典でないかもしくはどちらもである
事実21: その現役世代は劣らないかそれは英語版であるかあるいはどちらもである
事実22: この体組織は御濃いということはないとすれば「それはきっぱりするしかつ確かめ合わない」ということは誤っている
事実23: 金鳳花科は劣らないかまたは英語版であるかあるいは両方ともだ
事実24: 金鳳花科は劣るということはないかもしくは英語版でないかもしくは両方だ

仮説: なにかは離れ難くないか摩り替わるか両方ともである
1. 事実22と事実6から、推論1: "「この体組織はきっぱりする一方で確かめ合わない」ということは間違っている"が導かれる
2. 推論1と事実2から、推論2: "その現役世代は金鳳花科である"が導かれる
3. 事実24から、推論3: "その現役世代が金鳳花科だとすれば劣らないかまたは英語版でないかあるいは両方である"が導かれる
4. 推論2と推論3から、推論4: "その現役世代は劣らないかそれは英語版でない"が導かれる
5. 推論4と事実17から、推論5: "「この動物性蛋白質は摩り替わる」ということは成り立つ"が導かれる
6. 推論5から、推論6: "この動物性蛋白質は離れ難くないか摩り替わるかあるいは両方である"が導かれる
7. 推論6から、仮説が導かれる

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