「もしもあのネット・キャッシュインフローが力抜かないならそのアンビューバッグは偉いかあるいはネイティブらしくないかもしくは両方だ」ということは成り立たない
fact1: なにがしかのものは書写しないけどそれは力抜く fact2: 「書写しない」ものはある fact3: あのホルモン作用は息しない fact4: この麻酔は息しない fact5: 「力抜かない」物はある fact6: もしもあのネット・キャッシュインフローが力抜かないとするとそのアンビューバッグは偉いかあるいはネイティブらしいかどちらもである fact7: 「この麻酔は息しないなら「あのネット・キャッシュインフローは呼び得る」ということは成り立つ」ということは事実だ fact8: あのネット・キャッシュインフローは呼び得る fact9: 「この麻酔は息するということはない」ということは正しいとするとあのネット・キャッシュインフローは呼び得るが書写するということはない fact10: もし「書写しなくて力抜かない」ものがあるならそのアンビューバッグは偉い fact11: あるものは書写するけど力抜くということはない
fact9 & fact4 -> int1: あのネット・キャッシュインフローは呼び得るがしかし書写するということはない; int1 -> int2: あのネット・キャッシュインフローは書写しない; void -> assump1: 以下のように仮定する。あのネット・キャッシュインフローは力抜かない; int2 & assump1 -> int3: あのネット・キャッシュインフローは書写しないしそれは力抜かない; int3 -> int4: あるものは書写するということはないし加えて力抜くということはない; int4 & fact10 -> int5: そのアンビューバッグは偉い; int5 -> int6: そのアンビューバッグは偉いかまたはネイティブらしくないかもしくは両方ともである; [assump1] & int6 -> hypothesis;
$facts$ = fact1: なにがしかのものは書写しないけどそれは力抜く fact2: 「書写しない」ものはある fact3: あのホルモン作用は息しない fact4: この麻酔は息しない fact5: 「力抜かない」物はある fact6: もしもあのネット・キャッシュインフローが力抜かないとするとそのアンビューバッグは偉いかあるいはネイティブらしいかどちらもである fact7: 「この麻酔は息しないなら「あのネット・キャッシュインフローは呼び得る」ということは成り立つ」ということは事実だ fact8: あのネット・キャッシュインフローは呼び得る fact9: 「この麻酔は息するということはない」ということは正しいとするとあのネット・キャッシュインフローは呼び得るが書写するということはない fact10: もし「書写しなくて力抜かない」ものがあるならそのアンビューバッグは偉い fact11: あるものは書写するけど力抜くということはない ; $hypothesis$ = 「もしもあのネット・キャッシュインフローが力抜かないならそのアンビューバッグは偉いかあるいはネイティブらしくないかもしくは両方だ」ということは成り立たない ; $proof$ = 
fact9 & fact4 -> int1: あのネット・キャッシュインフローは呼び得るがしかし書写するということはない; int1 -> int2: あのネット・キャッシュインフローは書写しない; void -> assump1: 以下のように仮定する。あのネット・キャッシュインフローは力抜かない; int2 & assump1 -> int3: あのネット・キャッシュインフローは書写しないしそれは力抜かない; int3 -> int4: あるものは書写するということはないし加えて力抜くということはない; int4 & fact10 -> int5: そのアンビューバッグは偉い; int5 -> int6: そのアンビューバッグは偉いかまたはネイティブらしくないかもしくは両方ともである; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは書写しないけどそれは力抜く
事実2: 「書写しない」ものはある
事実3: あのホルモン作用は息しない
事実4: この麻酔は息しない
事実5: 「力抜かない」物はある
事実6: もしもあのネット・キャッシュインフローが力抜かないとするとそのアンビューバッグは偉いかあるいはネイティブらしいかどちらもである
事実7: 「この麻酔は息しないなら「あのネット・キャッシュインフローは呼び得る」ということは成り立つ」ということは事実だ
事実8: あのネット・キャッシュインフローは呼び得る
事実9: 「この麻酔は息するということはない」ということは正しいとするとあのネット・キャッシュインフローは呼び得るが書写するということはない
事実10: もし「書写しなくて力抜かない」ものがあるならそのアンビューバッグは偉い
事実11: あるものは書写するけど力抜くということはない

仮説: 「もしもあのネット・キャッシュインフローが力抜かないならそのアンビューバッグは偉いかあるいはネイティブらしくないかもしくは両方だ」ということは成り立たない
1. 事実9と事実4から、推論1: "あのネット・キャッシュインフローは呼び得るがしかし書写するということはない"が導かれる
2. 推論1から、推論2: "あのネット・キャッシュインフローは書写しない"が導かれる
3. 仮定1: 以下のように仮定する。あのネット・キャッシュインフローは力抜かない
4. 推論2と仮定1から、推論3: "あのネット・キャッシュインフローは書写しないしそれは力抜かない"が導かれる
5. 推論3から、推論4: "あるものは書写するということはないし加えて力抜くということはない"が導かれる
6. 推論4と事実10から、推論5: "そのアンビューバッグは偉い"が導かれる
7. 推論5から、推論6: "そのアンビューバッグは偉いかまたはネイティブらしくないかもしくは両方ともである"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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