「そのフレンチパラドックスは媚態だしかつ救助する」ということは誤っている
fact1: 仮にそのフレンチパラドックスは減封すれば「媚態である」ということは正しい fact2: そのフレンチパラドックスは救助するし更にそれは表書きする fact3: そのリース業者は減封する fact4: そのフレンチパラドックスは減封する
fact1 & fact4 -> int1: そのフレンチパラドックスは媚態である; fact2 -> int2: そのフレンチパラドックスは救助する; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にそのフレンチパラドックスは減封すれば「媚態である」ということは正しい fact2: そのフレンチパラドックスは救助するし更にそれは表書きする fact3: そのリース業者は減封する fact4: そのフレンチパラドックスは減封する ; $hypothesis$ = 「そのフレンチパラドックスは媚態だしかつ救助する」ということは誤っている ; $proof$ = 
fact1 & fact4 -> int1: そのフレンチパラドックスは媚態である; fact2 -> int2: そのフレンチパラドックスは救助する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にそのフレンチパラドックスは減封すれば「媚態である」ということは正しい
事実2: そのフレンチパラドックスは救助するし更にそれは表書きする
事実3: そのリース業者は減封する
事実4: そのフレンチパラドックスは減封する

仮説: 「そのフレンチパラドックスは媚態だしかつ救助する」ということは誤っている
1. 事実1と事実4から、推論1: "そのフレンチパラドックスは媚態である"が導かれる
2. 事実2から、推論2: "そのフレンチパラドックスは救助する"が導かれる
3. 推論1と推論2から、仮説が否定される

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