あの都市間は防御しない
fact1: 仮にあの都市間が欲深いなら防御しない fact2: 仮にあの帰属判断が本国だとするとその自家用乗用車は本国だ fact3: 遅れ易くないものは移転すかあるいは本国であるかまたは両方ともだ fact4: 「もしもあの帰属判断が移転すならばあの自家用乗用車は本国である」ということは正しい fact5: なんらかのものがＪＩＳコードなら防御する fact6: もしも「なにがしかのものは和菓子であるけれど賢くない」ということは真実であるということはないとすれば参議院議員選挙だ fact7: もし仮にその半導体素子は第一走者であるとすれば「それは限り無しないしそれはＪＩＳコードでない」ということは成り立たない fact8: あの都市間は限り無しということはないかもしくは不足し易いかあるいは両方ともだ fact9: もし仮にその半導体素子が割れ難いとすればあの都市間は割れ難い fact10: あの帰属判断は遅れ易くない fact11: もし「その自家用乗用車は本国である」ということは確かであるならば「この頸髄損傷は和菓子だ一方で賢くない」ということは偽だ fact12: もしもあの都市間が割れ難くないならその半導体素子は第一走者でないしその上ｊＩＳコードであるということはない fact13: もし仮にその半導体素子は参議院議員選挙なら「それは第一走者であるということはなくておまけにＪＩＳコードでない」ということは間違っている fact14: もしも何らかの物は割れ難いなら「第一走者である一方でＪＩＳコードであるということはない」ということは誤っている fact15: 「その半導体素子は参議院議員選挙だ」ということは本当だ fact16: もし仮にあの都市間が限り無しということはないかそれは不足し易くないとすると欲深い fact17: 「何らかのものは限り無しないかもしくは不足し易くないかあるいはどちらもである」ということは偽だとしたら「割れ難くない」ということは本当だ
fact17 -> int1: 仮に「あの都市間は限り無しないかそれは不足し易くない」ということは成り立たないならば割れ難くない; void -> assump1: 以下のように仮定する。「あの都市間は限り無しないかそれは不足し易くないかまたは両方である」ということは成り立たない; int1 & assump1 -> int2: あの都市間は割れ難くない; int2 & fact12 -> int3: その半導体素子は第一走者でなくてＪＩＳコードでない; fact15 & fact13 -> int4: 「その半導体素子は第一走者でないしＪＩＳコードでない」ということは嘘だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの都市間は限り無しないかもしくはそれは不足し易くないか両方ともである; int6 & fact16 -> int7: あの都市間は欲深い; int7 & fact1 -> hypothesis;
あの都市間は防御する
fact21 -> int8: もしも「あの都市間はＪＩＳコードだ」ということは成り立つとしたら「それは防御する」ということは成り立つ; fact20 -> int9: あの都市間は割れ難いとしたら「「第一走者でまたそれはＪＩＳコードでない」ということは真実だ」ということは事実と異なる; fact25 -> int10: もし仮に「この頸髄損傷は和菓子である一方で賢くない」ということは本当だということはないとすれば参議院議員選挙だ; fact22 -> int11: 仮にあの帰属判断が遅れ易くないならそれは移転すかまたは本国であるかあるいはどちらもだ; int11 & fact18 -> int12: あの帰属判断は移転すかまたはそれは本国である; int12 & fact23 & fact19 -> int13: 「その自家用乗用車は本国でない」ということは事実と異なる; fact26 & int13 -> int14: 「この頸髄損傷は和菓子である一方で賢くない」ということは成り立たない; int10 & int14 -> int15: この頸髄損傷は参議院議員選挙である; int15 -> int16: 「参議院議員選挙である」物はある;
$facts$ = fact1: 仮にあの都市間が欲深いなら防御しない fact2: 仮にあの帰属判断が本国だとするとその自家用乗用車は本国だ fact3: 遅れ易くないものは移転すかあるいは本国であるかまたは両方ともだ fact4: 「もしもあの帰属判断が移転すならばあの自家用乗用車は本国である」ということは正しい fact5: なんらかのものがＪＩＳコードなら防御する fact6: もしも「なにがしかのものは和菓子であるけれど賢くない」ということは真実であるということはないとすれば参議院議員選挙だ fact7: もし仮にその半導体素子は第一走者であるとすれば「それは限り無しないしそれはＪＩＳコードでない」ということは成り立たない fact8: あの都市間は限り無しということはないかもしくは不足し易いかあるいは両方ともだ fact9: もし仮にその半導体素子が割れ難いとすればあの都市間は割れ難い fact10: あの帰属判断は遅れ易くない fact11: もし「その自家用乗用車は本国である」ということは確かであるならば「この頸髄損傷は和菓子だ一方で賢くない」ということは偽だ fact12: もしもあの都市間が割れ難くないならその半導体素子は第一走者でないしその上ｊＩＳコードであるということはない fact13: もし仮にその半導体素子は参議院議員選挙なら「それは第一走者であるということはなくておまけにＪＩＳコードでない」ということは間違っている fact14: もしも何らかの物は割れ難いなら「第一走者である一方でＪＩＳコードであるということはない」ということは誤っている fact15: 「その半導体素子は参議院議員選挙だ」ということは本当だ fact16: もし仮にあの都市間が限り無しということはないかそれは不足し易くないとすると欲深い fact17: 「何らかのものは限り無しないかもしくは不足し易くないかあるいはどちらもである」ということは偽だとしたら「割れ難くない」ということは本当だ ; $hypothesis$ = あの都市間は防御しない ; $proof$ = 
fact17 -> int1: 仮に「あの都市間は限り無しないかそれは不足し易くない」ということは成り立たないならば割れ難くない; void -> assump1: 以下のように仮定する。「あの都市間は限り無しないかそれは不足し易くないかまたは両方である」ということは成り立たない; int1 & assump1 -> int2: あの都市間は割れ難くない; int2 & fact12 -> int3: その半導体素子は第一走者でなくてＪＩＳコードでない; fact15 & fact13 -> int4: 「その半導体素子は第一走者でないしＪＩＳコードでない」ということは嘘だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの都市間は限り無しないかもしくはそれは不足し易くないか両方ともである; int6 & fact16 -> int7: あの都市間は欲深い; int7 & fact1 -> hypothesis; __PROVED__
事実1: 仮にあの都市間が欲深いなら防御しない
事実2: 仮にあの帰属判断が本国だとするとその自家用乗用車は本国だ
事実3: 遅れ易くないものは移転すかあるいは本国であるかまたは両方ともだ
事実4: 「もしもあの帰属判断が移転すならばあの自家用乗用車は本国である」ということは正しい
事実5: なんらかのものがＪＩＳコードなら防御する
事実6: もしも「なにがしかのものは和菓子であるけれど賢くない」ということは真実であるということはないとすれば参議院議員選挙だ
事実7: もし仮にその半導体素子は第一走者であるとすれば「それは限り無しないしそれはＪＩＳコードでない」ということは成り立たない
事実8: あの都市間は限り無しということはないかもしくは不足し易いかあるいは両方ともだ
事実9: もし仮にその半導体素子が割れ難いとすればあの都市間は割れ難い
事実10: あの帰属判断は遅れ易くない
事実11: もし「その自家用乗用車は本国である」ということは確かであるならば「この頸髄損傷は和菓子だ一方で賢くない」ということは偽だ
事実12: もしもあの都市間が割れ難くないならその半導体素子は第一走者でないしその上ｊＩＳコードであるということはない
事実13: もし仮にその半導体素子は参議院議員選挙なら「それは第一走者であるということはなくておまけにＪＩＳコードでない」ということは間違っている
事実14: もしも何らかの物は割れ難いなら「第一走者である一方でＪＩＳコードであるということはない」ということは誤っている
事実15: 「その半導体素子は参議院議員選挙だ」ということは本当だ
事実16: もし仮にあの都市間が限り無しということはないかそれは不足し易くないとすると欲深い
事実17: 「何らかのものは限り無しないかもしくは不足し易くないかあるいはどちらもである」ということは偽だとしたら「割れ難くない」ということは本当だ

仮説: あの都市間は防御しない
1. 事実17から、推論1: "仮に「あの都市間は限り無しないかそれは不足し易くない」ということは成り立たないならば割れ難くない"が導かれる
2. 仮定1: 以下のように仮定する。「あの都市間は限り無しないかそれは不足し易くないかまたは両方である」ということは成り立たない
3. 推論1と仮定1から、推論2: "あの都市間は割れ難くない"が導かれる
4. 推論2と事実12から、推論3: "その半導体素子は第一走者でなくてＪＩＳコードでない"が導かれる
5. 事実15と事実13から、推論4: "「その半導体素子は第一走者でないしＪＩＳコードでない」ということは嘘だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの都市間は限り無しないかもしくはそれは不足し易くないか両方ともである"が導かれる
8. 推論6と事実16から、推論7: "あの都市間は欲深い"が導かれる
9. 推論7と事実1から、仮説が導かれる

よって、仮説が証明されました。