「その還元ヘモグロビンは施設養護でその上それは後発医薬品だ」ということは成り立つ
fact1: その還元ヘモグロビンは後発医薬品である fact2: 「重くて賢しない」ものはある fact3: 仮になにかは選挙すれば「それは重いが賢しない」ということは間違っている fact4: もしもその還元ヘモグロビンが選挙するならこの診断項目は訝しい fact5: なにかは選挙するとすれば「重くておまけに賢し」ということは成り立たない fact6: 「その還元ヘモグロビンは不眠だけれど重いということはない」ということは成り立たない fact7: 仮にその還元ヘモグロビンが憎くないならそれは吹き荒ぶかあるいは訝しくない fact8: もし「「重いがしかし賢しということはない」ということは事実と異なる」物はあれば「その還元ヘモグロビンは憎くない」ということは成り立つ fact9: 仮にあるものが吹き荒ぶかもしくはそれが訝しくないなら施設養護である fact10: もし「このスチュワーデス達は憎くないが選挙する」ということは成り立たないならばあの空海は選挙しない fact11: なんらかのものが施設養護でないしそれは後発医薬品でないとしたら吹き荒ばない fact12: 「賢し」ものがあればその還元ヘモグロビンは憎くない fact13: その還元ヘモグロビンがざわめき立てばそれは施設養護でないしかつ後発医薬品でない fact14: 「なんらかのものは吹き荒ぶ」ということは確かであるならばそれは施設養護だ fact15: 仮に「「賢しけれど施設養護でない」ということは嘘な」ものがあるとしたらこのアメリカ最大は憎くない fact16: その整合的ＳＯＶ型は選挙する fact17: もしもその還元ヘモグロビンが吹き荒ぶとすればそれは施設養護だ fact18: このアメリカ最大は選挙するなら「重いしさらに賢し」ということは成り立たない fact19: このアメリカ最大は選挙する fact20: 「その還元ヘモグロビンは選挙する一方で施設養護でない」ということは成り立つということはない
fact3 -> int1: 仮にこのアメリカ最大は選挙するとしたら「重いがしかし賢しない」ということは間違っている; int1 & fact19 -> int2: 「このアメリカ最大は重い一方で賢しない」ということは間違いだ; int2 -> int3: 「「重いが賢しない」ということは成り立たない」ものはある; int3 & fact8 -> int4: その還元ヘモグロビンは憎くない; int4 & fact7 -> int5: その還元ヘモグロビンは吹き荒ぶかまたは訝しくないかまたはどちらもだ; fact9 -> int6: その還元ヘモグロビンが吹き荒ぶかそれが訝しくないならば施設養護である; int5 & int6 -> int7: その還元ヘモグロビンは施設養護である; int7 & fact1 -> hypothesis;
この診断項目は訝しい
fact21 -> int8: もしもその還元ヘモグロビンが施設養護でなくてその上後発医薬品でないとすればそれは吹き荒ばない;
$facts$ = fact1: その還元ヘモグロビンは後発医薬品である fact2: 「重くて賢しない」ものはある fact3: 仮になにかは選挙すれば「それは重いが賢しない」ということは間違っている fact4: もしもその還元ヘモグロビンが選挙するならこの診断項目は訝しい fact5: なにかは選挙するとすれば「重くておまけに賢し」ということは成り立たない fact6: 「その還元ヘモグロビンは不眠だけれど重いということはない」ということは成り立たない fact7: 仮にその還元ヘモグロビンが憎くないならそれは吹き荒ぶかあるいは訝しくない fact8: もし「「重いがしかし賢しということはない」ということは事実と異なる」物はあれば「その還元ヘモグロビンは憎くない」ということは成り立つ fact9: 仮にあるものが吹き荒ぶかもしくはそれが訝しくないなら施設養護である fact10: もし「このスチュワーデス達は憎くないが選挙する」ということは成り立たないならばあの空海は選挙しない fact11: なんらかのものが施設養護でないしそれは後発医薬品でないとしたら吹き荒ばない fact12: 「賢し」ものがあればその還元ヘモグロビンは憎くない fact13: その還元ヘモグロビンがざわめき立てばそれは施設養護でないしかつ後発医薬品でない fact14: 「なんらかのものは吹き荒ぶ」ということは確かであるならばそれは施設養護だ fact15: 仮に「「賢しけれど施設養護でない」ということは嘘な」ものがあるとしたらこのアメリカ最大は憎くない fact16: その整合的ＳＯＶ型は選挙する fact17: もしもその還元ヘモグロビンが吹き荒ぶとすればそれは施設養護だ fact18: このアメリカ最大は選挙するなら「重いしさらに賢し」ということは成り立たない fact19: このアメリカ最大は選挙する fact20: 「その還元ヘモグロビンは選挙する一方で施設養護でない」ということは成り立つということはない ; $hypothesis$ = 「その還元ヘモグロビンは施設養護でその上それは後発医薬品だ」ということは成り立つ ; $proof$ = 
fact3 -> int1: 仮にこのアメリカ最大は選挙するとしたら「重いがしかし賢しない」ということは間違っている; int1 & fact19 -> int2: 「このアメリカ最大は重い一方で賢しない」ということは間違いだ; int2 -> int3: 「「重いが賢しない」ということは成り立たない」ものはある; int3 & fact8 -> int4: その還元ヘモグロビンは憎くない; int4 & fact7 -> int5: その還元ヘモグロビンは吹き荒ぶかまたは訝しくないかまたはどちらもだ; fact9 -> int6: その還元ヘモグロビンが吹き荒ぶかそれが訝しくないならば施設養護である; int5 & int6 -> int7: その還元ヘモグロビンは施設養護である; int7 & fact1 -> hypothesis; __PROVED__
事実1: その還元ヘモグロビンは後発医薬品である
事実2: 「重くて賢しない」ものはある
事実3: 仮になにかは選挙すれば「それは重いが賢しない」ということは間違っている
事実4: もしもその還元ヘモグロビンが選挙するならこの診断項目は訝しい
事実5: なにかは選挙するとすれば「重くておまけに賢し」ということは成り立たない
事実6: 「その還元ヘモグロビンは不眠だけれど重いということはない」ということは成り立たない
事実7: 仮にその還元ヘモグロビンが憎くないならそれは吹き荒ぶかあるいは訝しくない
事実8: もし「「重いがしかし賢しということはない」ということは事実と異なる」物はあれば「その還元ヘモグロビンは憎くない」ということは成り立つ
事実9: 仮にあるものが吹き荒ぶかもしくはそれが訝しくないなら施設養護である
事実10: もし「このスチュワーデス達は憎くないが選挙する」ということは成り立たないならばあの空海は選挙しない
事実11: なんらかのものが施設養護でないしそれは後発医薬品でないとしたら吹き荒ばない
事実12: 「賢し」ものがあればその還元ヘモグロビンは憎くない
事実13: その還元ヘモグロビンがざわめき立てばそれは施設養護でないしかつ後発医薬品でない
事実14: 「なんらかのものは吹き荒ぶ」ということは確かであるならばそれは施設養護だ
事実15: 仮に「「賢しけれど施設養護でない」ということは嘘な」ものがあるとしたらこのアメリカ最大は憎くない
事実16: その整合的ＳＯＶ型は選挙する
事実17: もしもその還元ヘモグロビンが吹き荒ぶとすればそれは施設養護だ
事実18: このアメリカ最大は選挙するなら「重いしさらに賢し」ということは成り立たない
事実19: このアメリカ最大は選挙する
事実20: 「その還元ヘモグロビンは選挙する一方で施設養護でない」ということは成り立つということはない

仮説: 「その還元ヘモグロビンは施設養護でその上それは後発医薬品だ」ということは成り立つ
1. 事実3から、推論1: "仮にこのアメリカ最大は選挙するとしたら「重いがしかし賢しない」ということは間違っている"が導かれる
2. 推論1と事実19から、推論2: "「このアメリカ最大は重い一方で賢しない」ということは間違いだ"が導かれる
3. 推論2から、推論3: "「「重いが賢しない」ということは成り立たない」ものはある"が導かれる
4. 推論3と事実8から、推論4: "その還元ヘモグロビンは憎くない"が導かれる
5. 推論4と事実7から、推論5: "その還元ヘモグロビンは吹き荒ぶかまたは訝しくないかまたはどちらもだ"が導かれる
6. 事実9から、推論6: "その還元ヘモグロビンが吹き荒ぶかそれが訝しくないならば施設養護である"が導かれる
7. 推論5と推論6から、推論7: "その還元ヘモグロビンは施設養護である"が導かれる
8. 推論7と事実1から、仮説が導かれる

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