この移植操作はクラッシュしない
fact1: もし仮になにかはクラッシュするとするとこの移植操作は捕らわれ易くない fact2: 「「捕らわれ易い」物はある」ということは本当だ fact3: あの手袋職人は捕らわれ易い fact4: この移植操作は捕らわれ易くない fact5: 仮に「犯し難い」ものがあるとするとあの大阪事務所はクラッシュしない fact6: 「出力機である」ものがあるとしたらその基本指針は捕らわれ易いということはない fact7: あの執行停止は通報である一方で知的障害者福祉法でない fact8: 「犯し難い」物があるとしたらあの大阪事務所は態とらしいということはない fact9: このバブル崩壊後はクラッシュしない fact10: 仮にあの大阪事務所が犯し難いけれど捕らわれ易いということはないとするとその基本指針はクラッシュする fact11: もしその基本指針が捕らわれ易くないならばあの大阪事務所は犯し難い fact12: この移植操作は付け回すが輝かしくない fact13: この移植操作は肥大する fact14: もし仮にあの大阪事務所が犯し難いがしかし捕らわれ易くないとすればこの移植操作はクラッシュする fact15: この移植操作はロマネスクでない fact16: あの大阪事務所は犯し難い fact17: その基本指針は犯し難い fact18: もしもその基本指針が捕らわれ易くないとしたらあの大阪事務所は犯し難い一方で捕らわれ易くない fact19: この移植操作は犯し難い fact20: 「「出力機でない」ということは誤っている」物はある fact21: 「その基本指針はクラッシュする」ということは真実である fact22: この移植操作は綾なす
fact20 & fact6 -> int1: 「その基本指針は捕らわれ易いということはない」ということは成り立つ; int1 & fact18 -> int2: あの大阪事務所は犯し難いが捕らわれ易くない; int2 & fact14 -> hypothesis;
$facts$ = fact1: もし仮になにかはクラッシュするとするとこの移植操作は捕らわれ易くない fact2: 「「捕らわれ易い」物はある」ということは本当だ fact3: あの手袋職人は捕らわれ易い fact4: この移植操作は捕らわれ易くない fact5: 仮に「犯し難い」ものがあるとするとあの大阪事務所はクラッシュしない fact6: 「出力機である」ものがあるとしたらその基本指針は捕らわれ易いということはない fact7: あの執行停止は通報である一方で知的障害者福祉法でない fact8: 「犯し難い」物があるとしたらあの大阪事務所は態とらしいということはない fact9: このバブル崩壊後はクラッシュしない fact10: 仮にあの大阪事務所が犯し難いけれど捕らわれ易いということはないとするとその基本指針はクラッシュする fact11: もしその基本指針が捕らわれ易くないならばあの大阪事務所は犯し難い fact12: この移植操作は付け回すが輝かしくない fact13: この移植操作は肥大する fact14: もし仮にあの大阪事務所が犯し難いがしかし捕らわれ易くないとすればこの移植操作はクラッシュする fact15: この移植操作はロマネスクでない fact16: あの大阪事務所は犯し難い fact17: その基本指針は犯し難い fact18: もしもその基本指針が捕らわれ易くないとしたらあの大阪事務所は犯し難い一方で捕らわれ易くない fact19: この移植操作は犯し難い fact20: 「「出力機でない」ということは誤っている」物はある fact21: 「その基本指針はクラッシュする」ということは真実である fact22: この移植操作は綾なす ; $hypothesis$ = この移植操作はクラッシュしない ; $proof$ = 
fact20 & fact6 -> int1: 「その基本指針は捕らわれ易いということはない」ということは成り立つ; int1 & fact18 -> int2: あの大阪事務所は犯し難いが捕らわれ易くない; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮になにかはクラッシュするとするとこの移植操作は捕らわれ易くない
事実2: 「「捕らわれ易い」物はある」ということは本当だ
事実3: あの手袋職人は捕らわれ易い
事実4: この移植操作は捕らわれ易くない
事実5: 仮に「犯し難い」ものがあるとするとあの大阪事務所はクラッシュしない
事実6: 「出力機である」ものがあるとしたらその基本指針は捕らわれ易いということはない
事実7: あの執行停止は通報である一方で知的障害者福祉法でない
事実8: 「犯し難い」物があるとしたらあの大阪事務所は態とらしいということはない
事実9: このバブル崩壊後はクラッシュしない
事実10: 仮にあの大阪事務所が犯し難いけれど捕らわれ易いということはないとするとその基本指針はクラッシュする
事実11: もしその基本指針が捕らわれ易くないならばあの大阪事務所は犯し難い
事実12: この移植操作は付け回すが輝かしくない
事実13: この移植操作は肥大する
事実14: もし仮にあの大阪事務所が犯し難いがしかし捕らわれ易くないとすればこの移植操作はクラッシュする
事実15: この移植操作はロマネスクでない
事実16: あの大阪事務所は犯し難い
事実17: その基本指針は犯し難い
事実18: もしもその基本指針が捕らわれ易くないとしたらあの大阪事務所は犯し難い一方で捕らわれ易くない
事実19: この移植操作は犯し難い
事実20: 「「出力機でない」ということは誤っている」物はある
事実21: 「その基本指針はクラッシュする」ということは真実である
事実22: この移植操作は綾なす

仮説: この移植操作はクラッシュしない
1. 事実20と事実6から、推論1: "「その基本指針は捕らわれ易いということはない」ということは成り立つ"が導かれる
2. 推論1と事実18から、推論2: "あの大阪事務所は犯し難いが捕らわれ易くない"が導かれる
3. 推論2と事実14から、仮説が否定される

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