そのプロバイオティクスはしくじらない
fact1: もしも「その輸入予定数量はＸＲでない一方でそれはいがらっぽい」ということは嘘だとすればそのプロバイオティクスはしくじらない fact2: 「「その輸入予定数量はＸＲでないがいがらっぽい」ということは本当だ」ということは誤っている fact3: もしもその輸入予定数量がＸＲだとするとそのプロバイオティクスはしくじるということはない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: もしも「その輸入予定数量はＸＲでない一方でそれはいがらっぽい」ということは嘘だとすればそのプロバイオティクスはしくじらない fact2: 「「その輸入予定数量はＸＲでないがいがらっぽい」ということは本当だ」ということは誤っている fact3: もしもその輸入予定数量がＸＲだとするとそのプロバイオティクスはしくじるということはない ; $hypothesis$ = そのプロバイオティクスはしくじらない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしも「その輸入予定数量はＸＲでない一方でそれはいがらっぽい」ということは嘘だとすればそのプロバイオティクスはしくじらない
事実2: 「「その輸入予定数量はＸＲでないがいがらっぽい」ということは本当だ」ということは誤っている
事実3: もしもその輸入予定数量がＸＲだとするとそのプロバイオティクスはしくじるということはない

仮説: そのプロバイオティクスはしくじらない
1. 事実1と事実2から、仮説が導かれる

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