その粒子同士はＬＯＲＡＮでない
fact1: あの駅長さんが本尊仏だしデストラクタである fact2: あの駅長さんは形成され易くない fact3: もし仮にあの駅長さんが形成され易いということはないかまたは貧困問題であるならばデストラクタだ fact4: もし何かは誘導路でないかあるいは言い出し難いかあるいは両方ともだとしたらそれは露光時間である fact5: もし仮にあの駅長さんが即決するとすればあの販売所等は貧困問題であるか即決する fact6: もし仮にその粒子同士が即決するとすればあの駅長さんはＬＯＲＡＮである fact7: あの駅長さんは避け難くない fact8: あの駅長さんは貧困問題でない fact9: もし仮にあの駅長さんが即決するならその販売所等は貧困問題でないか即決するかもしくは両方ともだ fact10: もし仮にあの駅長さんが形成され易くないとするとそれは即決するしそれは本尊仏だ fact11: あの駅長さんは教育的配慮であるし射撃である fact12: もしも「その販売所等は形成され易くない」ということは事実だとするとそれは本尊仏であるしデストラクタである fact13: 「あのチトクロムＣは形成され易くない」ということは本当だ fact14: その粒子同士は貧困問題だ fact15: 仮にその販売所等がデストラクタだとすればその粒子同士はＬＯＲＡＮである fact16: もしもあるものが貧困問題でないかあるいは即決するとするとデストラクタだ fact17: もし仮にその販売所等はＬＯＲＡＮであるということはないとすると即決する fact18: もしも「なにがしかのものはデストラクタでないけれど形成され易い」ということは偽であるとしたらそれはＬＯＲＡＮでない fact19: その販売所等が貧困問題だし更にそれは形成され易い fact20: あの村人達は即決する fact21: この石油がＬＯＲＡＮだしそれはタイトルらしい fact22: その粒子同士はデストラクタでないかもしくはそれはヨーロッパ旅行であるかまたは両方だ
fact10 & fact2 -> int1: あの駅長さんは即決するし本尊仏である; int1 -> int2: あの駅長さんは即決する; int2 & fact9 -> int3: その販売所等は貧困問題だということはないかあるいは即決するかあるいは両方ともだ; fact16 -> int4: 「もしもその販売所等が貧困問題でないか即決するかまたはどちらもであるならばその販売所等はデストラクタだ」ということは本当である; int3 & int4 -> int5: その販売所等はデストラクタである; int5 & fact15 -> hypothesis;
その粒子同士はＬＯＲＡＮでない
fact23 -> int6: もしも「その粒子同士はデストラクタでないがそれは形成され易い」ということは成り立たないならＬＯＲＡＮでない;
$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$ = 
fact10 & fact2 -> int1: あの駅長さんは即決するし本尊仏である; int1 -> int2: あの駅長さんは即決する; int2 & fact9 -> int3: その販売所等は貧困問題だということはないかあるいは即決するかあるいは両方ともだ; fact16 -> int4: 「もしもその販売所等が貧困問題でないか即決するかまたはどちらもであるならばその販売所等はデストラクタだ」ということは本当である; int3 & int4 -> int5: その販売所等はデストラクタである; int5 & fact15 -> 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. 事実10と事実2から、推論1: "あの駅長さんは即決するし本尊仏である"が導かれる
2. 推論1から、推論2: "あの駅長さんは即決する"が導かれる
3. 推論2と事実9から、推論3: "その販売所等は貧困問題だということはないかあるいは即決するかあるいは両方ともだ"が導かれる
4. 事実16から、推論4: "「もしもその販売所等が貧困問題でないか即決するかまたはどちらもであるならばその販売所等はデストラクタだ」ということは本当である"が導かれる
5. 推論3と推論4から、推論5: "その販売所等はデストラクタである"が導かれる
6. 推論5と事実15から、仮説が否定される

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