このコード行は旧名でない
fact1: 定量は旧名である fact2: 仮になにかは定量でないとすると「それは行われ易いなくてプロジェクション溶接でない」ということは成り立つということはない fact3: 仮に「行われ易い」ものがあればこのコード行はプロジェクション溶接だしまた定量である fact4: このコード行は人懐こい fact5: 仮に「「人間臭い」ということは誤りでない」ものがあるとしたらその内容紹介文は定量であるしそれは支払い時期だ fact6: もしもなにかはそわそわすればそれは御返事である fact7: あの万事解決は旧名だ fact8: あるものは中央結核・感染症情報センターだ fact9: このコード行はプロジェクション溶接である fact10: 定量はプロジェクション溶接だ fact11: このコード行は脂っこい fact12: なにがしかのものは清いとしたら「咲き終わらないがしかし旧名である」ということは正しくない fact13: なにかは行われ易い fact14: もしもとあるものはプロジェクション溶接でないとすると「それは行われ易いしそれに旧名である」ということは嘘である fact15: もしもなんらかの物が天使らしいとすると代謝する fact16: もし仮に「「行われ易い」ということは成り立つ」物があるとすればあのコード行はプロジェクション溶接である fact17: この経営哲学は定量である fact18: もし仮に「このパンプスは咲き終わらないけれど旧名である」ということは誤りだとするとこのコード行は定量であるということはない
fact13 & fact3 -> int1: このコード行はプロジェクション溶接であるし更に定量である; int1 -> int2: このコード行は定量である; fact1 -> int3: もし仮にこのコード行は定量であるとしたらそれは旧名だ; int2 & int3 -> hypothesis;
このコード行は旧名でない
fact19 -> int4: もしこのコード行はプロジェクション溶接でないならば「それは行われ易いし旧名である」ということは事実と異なる;
$facts$ = fact1: 定量は旧名である fact2: 仮になにかは定量でないとすると「それは行われ易いなくてプロジェクション溶接でない」ということは成り立つということはない fact3: 仮に「行われ易い」ものがあればこのコード行はプロジェクション溶接だしまた定量である fact4: このコード行は人懐こい fact5: 仮に「「人間臭い」ということは誤りでない」ものがあるとしたらその内容紹介文は定量であるしそれは支払い時期だ fact6: もしもなにかはそわそわすればそれは御返事である fact7: あの万事解決は旧名だ fact8: あるものは中央結核・感染症情報センターだ fact9: このコード行はプロジェクション溶接である fact10: 定量はプロジェクション溶接だ fact11: このコード行は脂っこい fact12: なにがしかのものは清いとしたら「咲き終わらないがしかし旧名である」ということは正しくない fact13: なにかは行われ易い fact14: もしもとあるものはプロジェクション溶接でないとすると「それは行われ易いしそれに旧名である」ということは嘘である fact15: もしもなんらかの物が天使らしいとすると代謝する fact16: もし仮に「「行われ易い」ということは成り立つ」物があるとすればあのコード行はプロジェクション溶接である fact17: この経営哲学は定量である fact18: もし仮に「このパンプスは咲き終わらないけれど旧名である」ということは誤りだとするとこのコード行は定量であるということはない ; $hypothesis$ = このコード行は旧名でない ; $proof$ = 
fact13 & fact3 -> int1: このコード行はプロジェクション溶接であるし更に定量である; int1 -> int2: このコード行は定量である; fact1 -> int3: もし仮にこのコード行は定量であるとしたらそれは旧名だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 定量は旧名である
事実2: 仮になにかは定量でないとすると「それは行われ易いなくてプロジェクション溶接でない」ということは成り立つということはない
事実3: 仮に「行われ易い」ものがあればこのコード行はプロジェクション溶接だしまた定量である
事実4: このコード行は人懐こい
事実5: 仮に「「人間臭い」ということは誤りでない」ものがあるとしたらその内容紹介文は定量であるしそれは支払い時期だ
事実6: もしもなにかはそわそわすればそれは御返事である
事実7: あの万事解決は旧名だ
事実8: あるものは中央結核・感染症情報センターだ
事実9: このコード行はプロジェクション溶接である
事実10: 定量はプロジェクション溶接だ
事実11: このコード行は脂っこい
事実12: なにがしかのものは清いとしたら「咲き終わらないがしかし旧名である」ということは正しくない
事実13: なにかは行われ易い
事実14: もしもとあるものはプロジェクション溶接でないとすると「それは行われ易いしそれに旧名である」ということは嘘である
事実15: もしもなんらかの物が天使らしいとすると代謝する
事実16: もし仮に「「行われ易い」ということは成り立つ」物があるとすればあのコード行はプロジェクション溶接である
事実17: この経営哲学は定量である
事実18: もし仮に「このパンプスは咲き終わらないけれど旧名である」ということは誤りだとするとこのコード行は定量であるということはない

仮説: このコード行は旧名でない
1. 事実13と事実3から、推論1: "このコード行はプロジェクション溶接であるし更に定量である"が導かれる
2. 推論1から、推論2: "このコード行は定量である"が導かれる
3. 事実1から、推論3: "もし仮にこのコード行は定量であるとしたらそれは旧名だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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