その山羊乳は制度・種族である
fact1: 仮になんらかのものが時代遅れだということはないならばそれは制度・種族であるししかも剥離し難い fact2: もしもその自由診療が剥離し難くないかもしくは時代遅れでないかあるいは両方ともであるとすればその山羊乳は制度・種族でない fact3: このカプチーノは制度・種族だ fact4: その山羊乳は制度・種族だ fact5: あのガス代は制度・種族である
fact4 -> hypothesis;
fact4 -> hypothesis;
その山羊乳は制度・種族でない
$facts$ = fact1: 仮になんらかのものが時代遅れだということはないならばそれは制度・種族であるししかも剥離し難い fact2: もしもその自由診療が剥離し難くないかもしくは時代遅れでないかあるいは両方ともであるとすればその山羊乳は制度・種族でない fact3: このカプチーノは制度・種族だ fact4: その山羊乳は制度・種族だ fact5: あのガス代は制度・種族である ; $hypothesis$ = その山羊乳は制度・種族である ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが時代遅れだということはないならばそれは制度・種族であるししかも剥離し難い
事実2: もしもその自由診療が剥離し難くないかもしくは時代遅れでないかあるいは両方ともであるとすればその山羊乳は制度・種族でない
事実3: このカプチーノは制度・種族だ
事実4: その山羊乳は制度・種族だ
事実5: あのガス代は制度・種族である

仮説: その山羊乳は制度・種族である
1. 事実4から、仮説が導かれる

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