このフランスパンは北米自由貿易協定だということはない
fact1: すべてのものはすごーい fact2: 全てのものは北米自由貿易協定である
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: すべてのものはすごーい fact2: 全てのものは北米自由貿易協定である ; $hypothesis$ = このフランスパンは北米自由貿易協定だということはない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: すべてのものはすごーい
事実2: 全てのものは北米自由貿易協定である

仮説: このフランスパンは北米自由貿易協定だということはない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。