「見易くておまけにエキスな」物はある
fact1: 何かはエキスである fact2: もしもあの生産量が支配出来るならこのコンポジションウィンドウは東京本社である fact3: あの生産量は抗原刺激である fact4: あの生産量は支配出来るしさらにエキスである fact5: もし「あの隠しフォルダは見易くないしエキスでない」ということは成り立たないなら密貿易である fact6: 「見易い」ものはある fact7: 「支配出来る」物はある fact8: もし仮に「あの生産量は抗原刺激だ」ということは確かなら「それは見易い」ということは確かだ fact9: このＢＣＬは見易い fact10: もし「見易い」物はあれば「あの隠しフォルダは見易くなくて加えてエキスでない」ということは間違っている fact11: あの生産量は支配出来る
fact4 -> int1: あの生産量はエキスである; fact3 & fact8 -> int2: あの生産量は見易い; int1 & int2 -> int3: あの生産量は見易いしさらにエキスだ; int3 -> hypothesis;
fact4 -> int1: {B}{a}; fact3 & fact8 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); int3 -> hypothesis;
このコンポジションウィンドウは東京本社でかつ恐ろしい
$facts$ = fact1: 何かはエキスである fact2: もしもあの生産量が支配出来るならこのコンポジションウィンドウは東京本社である fact3: あの生産量は抗原刺激である fact4: あの生産量は支配出来るしさらにエキスである fact5: もし「あの隠しフォルダは見易くないしエキスでない」ということは成り立たないなら密貿易である fact6: 「見易い」ものはある fact7: 「支配出来る」物はある fact8: もし仮に「あの生産量は抗原刺激だ」ということは確かなら「それは見易い」ということは確かだ fact9: このＢＣＬは見易い fact10: もし「見易い」物はあれば「あの隠しフォルダは見易くなくて加えてエキスでない」ということは間違っている fact11: あの生産量は支配出来る ; $hypothesis$ = 「見易くておまけにエキスな」物はある ; $proof$ = 
fact4 -> int1: あの生産量はエキスである; fact3 & fact8 -> int2: あの生産量は見易い; int1 & int2 -> int3: あの生産量は見易いしさらにエキスだ; int3 -> hypothesis; __PROVED__
事実1: 何かはエキスである
事実2: もしもあの生産量が支配出来るならこのコンポジションウィンドウは東京本社である
事実3: あの生産量は抗原刺激である
事実4: あの生産量は支配出来るしさらにエキスである
事実5: もし「あの隠しフォルダは見易くないしエキスでない」ということは成り立たないなら密貿易である
事実6: 「見易い」ものはある
事実7: 「支配出来る」物はある
事実8: もし仮に「あの生産量は抗原刺激だ」ということは確かなら「それは見易い」ということは確かだ
事実9: このＢＣＬは見易い
事実10: もし「見易い」物はあれば「あの隠しフォルダは見易くなくて加えてエキスでない」ということは間違っている
事実11: あの生産量は支配出来る

仮説: 「見易くておまけにエキスな」物はある
1. 事実4から、推論1: "あの生産量はエキスである"が導かれる
2. 事実3と事実8から、推論2: "あの生産量は見易い"が導かれる
3. 推論1と推論2から、推論3: "あの生産量は見易いしさらにエキスだ"が導かれる
4. 推論3から、仮説が導かれる

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