この夜警は捕らわれ易くない
fact1: このＤＩＷは上げ掛ける fact2: もしも「拙くないかもしくは蹴上げないかどちらもな」物があるとするとこの夜警はカルリスタでない fact3: この油圧シリンダはカルリスタである fact4: 仮に何らかの物は出し過ぎないしおまけに作り分けないとすればそれは上げ掛けない fact5: そのナチス党員はカルリスタだ fact6: このＤＩＷが上げ掛けるとすればそれはカルリスタである fact7: この訪問看護はマンデーだ fact8: このムービング・ピクチャーは上げ掛ける fact9: 仮にこの訪問看護がファンファーレだとしたらこのＤＩＷは拙くないか蹴上げるということはないかあるいは両方だ fact10: もし仮になんらかのものは可笑しいとすれば「ＦＴＴＨであるけれどファンファーレであるということはない」ということは偽だ fact11: もし仮になんらかの物はカルリスタでなくておまけに上げ掛けないならば捕らわれ易くない fact12: もしこのＤＩＷは出し過ぎるということはないとすれば「この夜警は蹴上げないし作り分けるということはない」ということは成り立たない fact13: もし仮に「何かは蹴上げるということはなくて作り分けない」ということは成り立たないとしたらそれは拙い fact14: ある物はＦＴＴＨであるとしたらそれはファンファーレだ fact15: この訪問看護はマンデーであるとすると可笑しい fact16: 仮になにかは上げ掛けないけれどカルリスタだとすれば捕らわれ易くない fact17: もし「このＤＩＷはカルリスタである」ということは確かだとするとこの夜警は捕らわれ易い fact18: 仮に何かは拙いとすると上げ掛けなくてまたカルリスタである fact19: この訪問看護はＦＴＴＨである
fact6 & fact1 -> int1: このＤＩＷはカルリスタだ; int1 & fact17 -> hypothesis;
この夜警は捕らわれ易くない
fact21 -> int2: もし「この夜警はカルリスタでないし加えて上げ掛けない」ということは真実であるならばそれは捕らわれ易くない; fact22 -> int3: 仮にこの訪問看護はＦＴＴＨであるとすると「それはファンファーレである」ということは確かだ; int3 & fact23 -> int4: この訪問看護はファンファーレである; fact20 & int4 -> int5: 「このＤＩＷは拙くないか蹴上げないかあるいは両方ともだ」ということは成り立つ; int5 -> int6: 「拙いということはないか蹴上げないかもしくはどちらもな」物はある; int6 & fact24 -> int7: この夜警はカルリスタでない; fact25 -> int8: もしもこの夜警は出し過ぎないし作り分けないならばそれは上げ掛けない;
$facts$ = fact1: このＤＩＷは上げ掛ける fact2: もしも「拙くないかもしくは蹴上げないかどちらもな」物があるとするとこの夜警はカルリスタでない fact3: この油圧シリンダはカルリスタである fact4: 仮に何らかの物は出し過ぎないしおまけに作り分けないとすればそれは上げ掛けない fact5: そのナチス党員はカルリスタだ fact6: このＤＩＷが上げ掛けるとすればそれはカルリスタである fact7: この訪問看護はマンデーだ fact8: このムービング・ピクチャーは上げ掛ける fact9: 仮にこの訪問看護がファンファーレだとしたらこのＤＩＷは拙くないか蹴上げるということはないかあるいは両方だ fact10: もし仮になんらかのものは可笑しいとすれば「ＦＴＴＨであるけれどファンファーレであるということはない」ということは偽だ fact11: もし仮になんらかの物はカルリスタでなくておまけに上げ掛けないならば捕らわれ易くない fact12: もしこのＤＩＷは出し過ぎるということはないとすれば「この夜警は蹴上げないし作り分けるということはない」ということは成り立たない fact13: もし仮に「何かは蹴上げるということはなくて作り分けない」ということは成り立たないとしたらそれは拙い fact14: ある物はＦＴＴＨであるとしたらそれはファンファーレだ fact15: この訪問看護はマンデーであるとすると可笑しい fact16: 仮になにかは上げ掛けないけれどカルリスタだとすれば捕らわれ易くない fact17: もし「このＤＩＷはカルリスタである」ということは確かだとするとこの夜警は捕らわれ易い fact18: 仮に何かは拙いとすると上げ掛けなくてまたカルリスタである fact19: この訪問看護はＦＴＴＨである ; $hypothesis$ = この夜警は捕らわれ易くない ; $proof$ = 
fact6 & fact1 -> int1: このＤＩＷはカルリスタだ; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: このＤＩＷは上げ掛ける
事実2: もしも「拙くないかもしくは蹴上げないかどちらもな」物があるとするとこの夜警はカルリスタでない
事実3: この油圧シリンダはカルリスタである
事実4: 仮に何らかの物は出し過ぎないしおまけに作り分けないとすればそれは上げ掛けない
事実5: そのナチス党員はカルリスタだ
事実6: このＤＩＷが上げ掛けるとすればそれはカルリスタである
事実7: この訪問看護はマンデーだ
事実8: このムービング・ピクチャーは上げ掛ける
事実9: 仮にこの訪問看護がファンファーレだとしたらこのＤＩＷは拙くないか蹴上げるということはないかあるいは両方だ
事実10: もし仮になんらかのものは可笑しいとすれば「ＦＴＴＨであるけれどファンファーレであるということはない」ということは偽だ
事実11: もし仮になんらかの物はカルリスタでなくておまけに上げ掛けないならば捕らわれ易くない
事実12: もしこのＤＩＷは出し過ぎるということはないとすれば「この夜警は蹴上げないし作り分けるということはない」ということは成り立たない
事実13: もし仮に「何かは蹴上げるということはなくて作り分けない」ということは成り立たないとしたらそれは拙い
事実14: ある物はＦＴＴＨであるとしたらそれはファンファーレだ
事実15: この訪問看護はマンデーであるとすると可笑しい
事実16: 仮になにかは上げ掛けないけれどカルリスタだとすれば捕らわれ易くない
事実17: もし「このＤＩＷはカルリスタである」ということは確かだとするとこの夜警は捕らわれ易い
事実18: 仮に何かは拙いとすると上げ掛けなくてまたカルリスタである
事実19: この訪問看護はＦＴＴＨである

仮説: この夜警は捕らわれ易くない
1. 事実6と事実1から、推論1: "このＤＩＷはカルリスタだ"が導かれる
2. 推論1と事実17から、仮説が否定される

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