「「法案成立でないかまたは検出感度でない」ということは嘘な」物はある
fact1: もし仮に「「ＭＲＳＡ肺炎でそれに上り易い」ということは成り立たない」物があるならあのＦＩは強行しない fact2: 「「ＭＲＳＡ肺炎であるし加えて上り易い」ということは成り立たない」物はある fact3: もしもあのＦＩは強行しないとすれば「法案成立でないかまたは検出感度でないかまたは両方ともである」ということは嘘である
fact2 & fact1 -> int1: あのＦＩは強行しない; int1 & fact3 -> int2: 「あのＦＩは法案成立でないかあるいは検出感度だということはないかもしくは両方である」ということは成り立たない; int2 -> hypothesis;
fact2 & fact1 -> int1: ¬{A}{a}; int1 & fact3 -> int2: ¬(¬{C}{a} v ¬{B}{a}); int2 -> hypothesis;
$facts$ = fact1: もし仮に「「ＭＲＳＡ肺炎でそれに上り易い」ということは成り立たない」物があるならあのＦＩは強行しない fact2: 「「ＭＲＳＡ肺炎であるし加えて上り易い」ということは成り立たない」物はある fact3: もしもあのＦＩは強行しないとすれば「法案成立でないかまたは検出感度でないかまたは両方ともである」ということは嘘である ; $hypothesis$ = 「「法案成立でないかまたは検出感度でない」ということは嘘な」物はある ; $proof$ = 
fact2 & fact1 -> int1: あのＦＩは強行しない; int1 & fact3 -> int2: 「あのＦＩは法案成立でないかあるいは検出感度だということはないかもしくは両方である」ということは成り立たない; int2 -> hypothesis; __PROVED__
事実1: もし仮に「「ＭＲＳＡ肺炎でそれに上り易い」ということは成り立たない」物があるならあのＦＩは強行しない
事実2: 「「ＭＲＳＡ肺炎であるし加えて上り易い」ということは成り立たない」物はある
事実3: もしもあのＦＩは強行しないとすれば「法案成立でないかまたは検出感度でないかまたは両方ともである」ということは嘘である

仮説: 「「法案成立でないかまたは検出感度でない」ということは嘘な」物はある
1. 事実2と事実1から、推論1: "あのＦＩは強行しない"が導かれる
2. 推論1と事実3から、推論2: "「あのＦＩは法案成立でないかあるいは検出感度だということはないかもしくは両方である」ということは成り立たない"が導かれる
3. 推論2から、仮説が導かれる

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