「その自由貿易は暮らし易くないかあるいは重たいかまたは両方ともである」ということは真実でない
fact1: このとろ火は対応し易くない fact2: もしも「このとろ火は対応し易くない」ということは間違っていないとすると「その自由貿易は暮らし易くないかあるいは重たいか両方ともだ」ということは事実でない
$facts$ = fact1: このとろ火は対応し易くない fact2: もしも「このとろ火は対応し易くない」ということは間違っていないとすると「その自由貿易は暮らし易くないかあるいは重たいか両方ともだ」ということは事実でない ; $hypothesis$ = 「その自由貿易は暮らし易くないかあるいは重たいかまたは両方ともである」ということは真実でない ; $proof$ = 
事実1: このとろ火は対応し易くない
事実2: もしも「このとろ火は対応し易くない」ということは間違っていないとすると「その自由貿易は暮らし易くないかあるいは重たいか両方ともだ」ということは事実でない

仮説: 「その自由貿易は暮らし易くないかあるいは重たいかまたは両方ともである」ということは真実でない