「「抜くし移ろい易い」ものはある」ということは誤りである
fact1: ある物は占う fact2: 「いすゞＵ‐ＬＶな」ものはある fact3: そのデータマーカーはごまかせる fact4: そのデータマーカーはいすゞＵ‐ＬＶなら「抜く」ということは事実だ fact5: この所用は鉛等であるしさらにいすゞＵ‐ＬＶである fact6: あのアリス・バン・キャンプは占う fact7: 「そのデータマーカーは保健活動でそれにキャパシティーだ」ということは嘘でない fact8: 仮にそのデータマーカーが徒らっぽいならそれは忍耐強い fact9: もし「そのデータマーカーは大人気無い」ということは正しいとしたら御使う fact10: この中学年は移ろい易い fact11: 仮になにかは占うということはないかまたはそれは対応し得ないかもしくは両方ともならば移ろい易い fact12: そのデータマーカーは賢し fact13: そのデータマーカーはいすゞＵ‐ＬＶだ fact14: あのチャタヌーガ・チューチューはいすゞＵ‐ＬＶだ fact15: そのデータマーカーは整備充実である fact16: 仮になにかはブランクでないならばそれは占うということはないかもしくはそれは対応し得ない fact17: そのデータマーカーは移ろい易いししかも占う fact18: そのデータマーカーはブランクだ fact19: そのデータマーカーがＨＤＬ粒子サイズならそれは祈り為さる
fact4 & fact13 -> int1: 「そのデータマーカーは抜く」ということは本当である; fact17 -> int2: そのデータマーカーは移ろい易い; int1 & int2 -> int3: そのデータマーカーは抜くし移ろい易い; int3 -> hypothesis;
あの地域経済はいすゞＵ‐ＬＶである
fact21 -> int4: もし仮にあの地域経済が占わないか対応し得ないかもしくはどちらもであるとするとそれは移ろい易い; fact20 -> int5: もしあの地域経済はブランクであるということはないとすればそれは占わないかまたは対応し得るということはないかもしくはどちらもである;
$facts$ = fact1: ある物は占う fact2: 「いすゞＵ‐ＬＶな」ものはある fact3: そのデータマーカーはごまかせる fact4: そのデータマーカーはいすゞＵ‐ＬＶなら「抜く」ということは事実だ fact5: この所用は鉛等であるしさらにいすゞＵ‐ＬＶである fact6: あのアリス・バン・キャンプは占う fact7: 「そのデータマーカーは保健活動でそれにキャパシティーだ」ということは嘘でない fact8: 仮にそのデータマーカーが徒らっぽいならそれは忍耐強い fact9: もし「そのデータマーカーは大人気無い」ということは正しいとしたら御使う fact10: この中学年は移ろい易い fact11: 仮になにかは占うということはないかまたはそれは対応し得ないかもしくは両方ともならば移ろい易い fact12: そのデータマーカーは賢し fact13: そのデータマーカーはいすゞＵ‐ＬＶだ fact14: あのチャタヌーガ・チューチューはいすゞＵ‐ＬＶだ fact15: そのデータマーカーは整備充実である fact16: 仮になにかはブランクでないならばそれは占うということはないかもしくはそれは対応し得ない fact17: そのデータマーカーは移ろい易いししかも占う fact18: そのデータマーカーはブランクだ fact19: そのデータマーカーがＨＤＬ粒子サイズならそれは祈り為さる ; $hypothesis$ = 「「抜くし移ろい易い」ものはある」ということは誤りである ; $proof$ = 
fact4 & fact13 -> int1: 「そのデータマーカーは抜く」ということは本当である; fact17 -> int2: そのデータマーカーは移ろい易い; int1 & int2 -> int3: そのデータマーカーは抜くし移ろい易い; int3 -> hypothesis; __DISPROVED__
事実1: ある物は占う
事実2: 「いすゞＵ‐ＬＶな」ものはある
事実3: そのデータマーカーはごまかせる
事実4: そのデータマーカーはいすゞＵ‐ＬＶなら「抜く」ということは事実だ
事実5: この所用は鉛等であるしさらにいすゞＵ‐ＬＶである
事実6: あのアリス・バン・キャンプは占う
事実7: 「そのデータマーカーは保健活動でそれにキャパシティーだ」ということは嘘でない
事実8: 仮にそのデータマーカーが徒らっぽいならそれは忍耐強い
事実9: もし「そのデータマーカーは大人気無い」ということは正しいとしたら御使う
事実10: この中学年は移ろい易い
事実11: 仮になにかは占うということはないかまたはそれは対応し得ないかもしくは両方ともならば移ろい易い
事実12: そのデータマーカーは賢し
事実13: そのデータマーカーはいすゞＵ‐ＬＶだ
事実14: あのチャタヌーガ・チューチューはいすゞＵ‐ＬＶだ
事実15: そのデータマーカーは整備充実である
事実16: 仮になにかはブランクでないならばそれは占うということはないかもしくはそれは対応し得ない
事実17: そのデータマーカーは移ろい易いししかも占う
事実18: そのデータマーカーはブランクだ
事実19: そのデータマーカーがＨＤＬ粒子サイズならそれは祈り為さる

仮説: 「「抜くし移ろい易い」ものはある」ということは誤りである
1. 事実4と事実13から、推論1: "「そのデータマーカーは抜く」ということは本当である"が導かれる
2. 事実17から、推論2: "そのデータマーカーは移ろい易い"が導かれる
3. 推論1と推論2から、推論3: "そのデータマーカーは抜くし移ろい易い"が導かれる
4. 推論3から、仮説が否定される

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