「質問項目だけれど故無くないなら「保護出来るということはない」ということは確かである」ものはある
fact1: もしも質問項目が故無くないとすると保護出来るということはない fact2: 「仮にその院内感染が回復出来るが虚仮脅しだということはないならばその院内感染は錆無い」ということは確かだ fact3: 「もしも「質問項目であるが故無くない」ということは成り立つなら保護出来る」ものはある
fact1 -> int1: もしもその変動金利は質問項目であるけれど故無くないならば保護出来ない; int1 -> hypothesis;
fact1 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしも質問項目が故無くないとすると保護出来るということはない fact2: 「仮にその院内感染が回復出来るが虚仮脅しだということはないならばその院内感染は錆無い」ということは確かだ fact3: 「もしも「質問項目であるが故無くない」ということは成り立つなら保護出来る」ものはある ; $hypothesis$ = 「質問項目だけれど故無くないなら「保護出来るということはない」ということは確かである」ものはある ; $proof$ = 
fact1 -> int1: もしもその変動金利は質問項目であるけれど故無くないならば保護出来ない; int1 -> hypothesis; __PROVED__
事実1: もしも質問項目が故無くないとすると保護出来るということはない
事実2: 「仮にその院内感染が回復出来るが虚仮脅しだということはないならばその院内感染は錆無い」ということは確かだ
事実3: 「もしも「質問項目であるが故無くない」ということは成り立つなら保護出来る」ものはある

仮説: 「質問項目だけれど故無くないなら「保護出来るということはない」ということは確かである」ものはある
1. 事実1から、推論1: "もしもその変動金利は質問項目であるけれど故無くないならば保護出来ない"が導かれる
2. 推論1から、仮説が導かれる

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