その最小容量は有条件降伏であるしさらにロイヤルティーである
fact1: その最小容量は有条件降伏だ fact2: その最小容量は見聞き日記である fact3: あの牧者はロイヤルティーだ fact4: その最小容量は影絵である fact5: あの孤立無援は有条件降伏だ fact6: その最小容量は守り易い fact7: その最小容量は茶色い fact8: その最小容量はロイヤルティーである fact9: その医学研究は抗原提示細胞であるしそれはロイヤルティーだ fact10: あの東インド会社は御恥ずかしくて更に有条件降伏だ fact11: 「この証明済みは有条件降伏でそれは優しい」ということは成り立つ
fact1 & fact8 -> hypothesis;
fact1 & fact8 -> hypothesis;
$facts$ = fact1: その最小容量は有条件降伏だ fact2: その最小容量は見聞き日記である fact3: あの牧者はロイヤルティーだ fact4: その最小容量は影絵である fact5: あの孤立無援は有条件降伏だ fact6: その最小容量は守り易い fact7: その最小容量は茶色い fact8: その最小容量はロイヤルティーである fact9: その医学研究は抗原提示細胞であるしそれはロイヤルティーだ fact10: あの東インド会社は御恥ずかしくて更に有条件降伏だ fact11: 「この証明済みは有条件降伏でそれは優しい」ということは成り立つ ; $hypothesis$ = その最小容量は有条件降伏であるしさらにロイヤルティーである ; $proof$ = 
fact1 & fact8 -> hypothesis; __PROVED__
事実1: その最小容量は有条件降伏だ
事実2: その最小容量は見聞き日記である
事実3: あの牧者はロイヤルティーだ
事実4: その最小容量は影絵である
事実5: あの孤立無援は有条件降伏だ
事実6: その最小容量は守り易い
事実7: その最小容量は茶色い
事実8: その最小容量はロイヤルティーである
事実9: その医学研究は抗原提示細胞であるしそれはロイヤルティーだ
事実10: あの東インド会社は御恥ずかしくて更に有条件降伏だ
事実11: 「この証明済みは有条件降伏でそれは優しい」ということは成り立つ

仮説: その最小容量は有条件降伏であるしさらにロイヤルティーである
1. 事実1と事実8から、仮説が導かれる

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