この胚芽は押し遣らない一方で若芽だ
fact1: このマイン・フューラーは思案顔であるとすると「その二Ｋは譲渡損益等だ」ということは本当だ fact2: この胚芽は中国向けだ fact3: この胚芽は若芽だ fact4: この使命はゲットする fact5: もし何かは譲渡損益等であるとすると「援用しないししかも賑々しい」ということは偽だ fact6: もしこの胚芽が物凄ーくないとするとそれは若芽だ fact7: もしも何らかの物は物凄ーいかペリカンズ・ルーストでないかまたは両方だとすればそれは勿体無い fact8: 仮にこの使命が憎たらしくて加えてそれがゲットするならその卵黄膜は勿体無いということはない fact9: もしもその卵黄膜が憎たらしいとすればこの使命は押し遣る fact10: 「このマイン・フューラーは思案顔だ」ということは正しい fact11: なんらかのものが勿体無いとすればあの定番はゲットしなくて加えて憎たらしくない fact12: その卵黄膜は勿体無い fact13: この周波はゲットする fact14: もし仮に「その二Ｋは援用しないけど賑々しい」ということは間違いだとしたらペリカンズ・ルーストでない fact15: この胚芽はゲットしないけれど若芽である fact16: 仮にあの定番がゲットしなくてその上憎たらしくないならその卵黄膜は憎たらしい fact17: もし仮にこの使命が憎たらしくないがしかしペリカンズ・ルーストであるとしたらこの胚芽は物凄ーくない fact18: 仮にこの胚芽が物凄ーいということはないとしたら押し遣るということはなくてそれは若芽である fact19: この使命はペリカンズ・ルーストだ
void -> assump1: 以下のように仮定する。この使命は憎たらしい; assump1 & fact4 -> int1: この使命は憎たらしいしゲットする; int1 & fact8 -> int2: その卵黄膜は勿体無くない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: この使命は憎たらしくない; int4 & fact19 -> int5: この使命は憎たらしくないけどペリカンズ・ルーストである; int5 & fact17 -> int6: この胚芽は物凄ーくない; int6 & fact18 -> hypothesis;
「この胚芽は押し遣らないが若芽である」ということは間違っている
fact26 -> int7: その二Ｋは物凄ーいかペリカンズ・ルーストでないかまたはどちらもであるとしたら勿体無い; fact22 -> int8: もしその二Ｋは譲渡損益等であるなら「それは援用しないけど賑々しい」ということは成り立たない; fact24 & fact27 -> int9: その二Ｋは譲渡損益等である; int8 & int9 -> int10: 「その二Ｋは援用しないがそれは賑々しい」ということは事実と異なる; fact23 & int10 -> int11: その二Ｋはペリカンズ・ルーストでない; int11 -> int12: その二Ｋは物凄ーいかもしくはそれはペリカンズ・ルーストでない; int7 & int12 -> int13: その二Ｋは勿体無い; int13 -> int14: ある物は勿体無い; int14 & fact20 -> int15: あの定番はゲットしないしかつ憎たらしくない; fact21 & int15 -> int16: その卵黄膜は憎たらしい; fact25 & int16 -> int17: この使命は押し遣る; int17 -> int18: 「押し遣る」ものはある;
$facts$ = fact1: このマイン・フューラーは思案顔であるとすると「その二Ｋは譲渡損益等だ」ということは本当だ fact2: この胚芽は中国向けだ fact3: この胚芽は若芽だ fact4: この使命はゲットする fact5: もし何かは譲渡損益等であるとすると「援用しないししかも賑々しい」ということは偽だ fact6: もしこの胚芽が物凄ーくないとするとそれは若芽だ fact7: もしも何らかの物は物凄ーいかペリカンズ・ルーストでないかまたは両方だとすればそれは勿体無い fact8: 仮にこの使命が憎たらしくて加えてそれがゲットするならその卵黄膜は勿体無いということはない fact9: もしもその卵黄膜が憎たらしいとすればこの使命は押し遣る fact10: 「このマイン・フューラーは思案顔だ」ということは正しい fact11: なんらかのものが勿体無いとすればあの定番はゲットしなくて加えて憎たらしくない fact12: その卵黄膜は勿体無い fact13: この周波はゲットする fact14: もし仮に「その二Ｋは援用しないけど賑々しい」ということは間違いだとしたらペリカンズ・ルーストでない fact15: この胚芽はゲットしないけれど若芽である fact16: 仮にあの定番がゲットしなくてその上憎たらしくないならその卵黄膜は憎たらしい fact17: もし仮にこの使命が憎たらしくないがしかしペリカンズ・ルーストであるとしたらこの胚芽は物凄ーくない fact18: 仮にこの胚芽が物凄ーいということはないとしたら押し遣るということはなくてそれは若芽である fact19: この使命はペリカンズ・ルーストだ ; $hypothesis$ = この胚芽は押し遣らない一方で若芽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この使命は憎たらしい; assump1 & fact4 -> int1: この使命は憎たらしいしゲットする; int1 & fact8 -> int2: その卵黄膜は勿体無くない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> int4: この使命は憎たらしくない; int4 & fact19 -> int5: この使命は憎たらしくないけどペリカンズ・ルーストである; int5 & fact17 -> int6: この胚芽は物凄ーくない; int6 & fact18 -> hypothesis; __PROVED__
事実1: このマイン・フューラーは思案顔であるとすると「その二Ｋは譲渡損益等だ」ということは本当だ
事実2: この胚芽は中国向けだ
事実3: この胚芽は若芽だ
事実4: この使命はゲットする
事実5: もし何かは譲渡損益等であるとすると「援用しないししかも賑々しい」ということは偽だ
事実6: もしこの胚芽が物凄ーくないとするとそれは若芽だ
事実7: もしも何らかの物は物凄ーいかペリカンズ・ルーストでないかまたは両方だとすればそれは勿体無い
事実8: 仮にこの使命が憎たらしくて加えてそれがゲットするならその卵黄膜は勿体無いということはない
事実9: もしもその卵黄膜が憎たらしいとすればこの使命は押し遣る
事実10: 「このマイン・フューラーは思案顔だ」ということは正しい
事実11: なんらかのものが勿体無いとすればあの定番はゲットしなくて加えて憎たらしくない
事実12: その卵黄膜は勿体無い
事実13: この周波はゲットする
事実14: もし仮に「その二Ｋは援用しないけど賑々しい」ということは間違いだとしたらペリカンズ・ルーストでない
事実15: この胚芽はゲットしないけれど若芽である
事実16: 仮にあの定番がゲットしなくてその上憎たらしくないならその卵黄膜は憎たらしい
事実17: もし仮にこの使命が憎たらしくないがしかしペリカンズ・ルーストであるとしたらこの胚芽は物凄ーくない
事実18: 仮にこの胚芽が物凄ーいということはないとしたら押し遣るということはなくてそれは若芽である
事実19: この使命はペリカンズ・ルーストだ

仮説: この胚芽は押し遣らない一方で若芽だ
1. 仮定1: 以下のように仮定する。この使命は憎たらしい
2. 仮定1と事実4から、推論1: "この使命は憎たらしいしゲットする"が導かれる
3. 推論1と事実8から、推論2: "その卵黄膜は勿体無くない"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この使命は憎たらしくない"が導かれる
6. 推論4と事実19から、推論5: "この使命は憎たらしくないけどペリカンズ・ルーストである"が導かれる
7. 推論5と事実17から、推論6: "この胚芽は物凄ーくない"が導かれる
8. 推論6と事実18から、仮説が導かれる

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