あの米国精神医学会は地点略語だが動き回らない
fact1: 「順編成ファイルだが捕らえ難くない」ものがあるとするとこの尿路感染症は逸るということはない fact2: この尿路感染症は少なしない fact3: もしあの米国精神医学会はクロシャール達であるならばそれは地点略語だがしかし動き回るということはない fact4: もし仮になんらかの物はクロシャール達であるということはないとすると史跡でないし歯痒いということはない fact5: なにかは動き回るとすると「クロシャール達だけれど逸るということはない」ということは偽である fact6: もし「この尿路感染症はクロシャール達だが逸らない」ということは間違っているとしたらあの波風は捕らえ難いということはない fact7: 仮にあの米国精神医学会が歯痒くないとしたらこの尿路感染症は逸る fact8: 捕らえ難くない順編成ファイルはある fact9: 「もしもこの尿路感染症はクロシャール達であるということはないとしたら「あの米国精神医学会は地点略語だ一方で動き回らない」ということは誤りだ」ということは成り立つ fact10: そのＰＤＦは史跡でない
fact4 -> int1: あの米国精神医学会はクロシャール達でないなら「史跡でなくてそれは歯痒くない」ということは確かだ; void -> assump1: 以下のように仮定する。「あの米国精神医学会はクロシャール達だということはない」ということは成り立つ; int1 & assump1 -> int2: あの米国精神医学会は史跡でないしその上歯痒いということはない; int2 -> int3: あの米国精神医学会は歯痒いということはない; int3 & fact7 -> int4: 「この尿路感染症は逸る」ということは確かだ; fact1 & fact8 -> int5: この尿路感染症は逸らない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの米国精神医学会はクロシャール達だ; int7 & fact3 -> hypothesis;
あの波風は捕らえ難くない
fact12 -> int8: もしこの尿路感染症は動き回るとすれば「それがクロシャール達だし更にそれは逸らない」ということは誤りである;
$facts$ = fact1: 「順編成ファイルだが捕らえ難くない」ものがあるとするとこの尿路感染症は逸るということはない fact2: この尿路感染症は少なしない fact3: もしあの米国精神医学会はクロシャール達であるならばそれは地点略語だがしかし動き回るということはない fact4: もし仮になんらかの物はクロシャール達であるということはないとすると史跡でないし歯痒いということはない fact5: なにかは動き回るとすると「クロシャール達だけれど逸るということはない」ということは偽である fact6: もし「この尿路感染症はクロシャール達だが逸らない」ということは間違っているとしたらあの波風は捕らえ難いということはない fact7: 仮にあの米国精神医学会が歯痒くないとしたらこの尿路感染症は逸る fact8: 捕らえ難くない順編成ファイルはある fact9: 「もしもこの尿路感染症はクロシャール達であるということはないとしたら「あの米国精神医学会は地点略語だ一方で動き回らない」ということは誤りだ」ということは成り立つ fact10: そのＰＤＦは史跡でない ; $hypothesis$ = あの米国精神医学会は地点略語だが動き回らない ; $proof$ = 
fact4 -> int1: あの米国精神医学会はクロシャール達でないなら「史跡でなくてそれは歯痒くない」ということは確かだ; void -> assump1: 以下のように仮定する。「あの米国精神医学会はクロシャール達だということはない」ということは成り立つ; int1 & assump1 -> int2: あの米国精神医学会は史跡でないしその上歯痒いということはない; int2 -> int3: あの米国精神医学会は歯痒いということはない; int3 & fact7 -> int4: 「この尿路感染症は逸る」ということは確かだ; fact1 & fact8 -> int5: この尿路感染症は逸らない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの米国精神医学会はクロシャール達だ; int7 & fact3 -> hypothesis; __PROVED__
事実1: 「順編成ファイルだが捕らえ難くない」ものがあるとするとこの尿路感染症は逸るということはない
事実2: この尿路感染症は少なしない
事実3: もしあの米国精神医学会はクロシャール達であるならばそれは地点略語だがしかし動き回るということはない
事実4: もし仮になんらかの物はクロシャール達であるということはないとすると史跡でないし歯痒いということはない
事実5: なにかは動き回るとすると「クロシャール達だけれど逸るということはない」ということは偽である
事実6: もし「この尿路感染症はクロシャール達だが逸らない」ということは間違っているとしたらあの波風は捕らえ難いということはない
事実7: 仮にあの米国精神医学会が歯痒くないとしたらこの尿路感染症は逸る
事実8: 捕らえ難くない順編成ファイルはある
事実9: 「もしもこの尿路感染症はクロシャール達であるということはないとしたら「あの米国精神医学会は地点略語だ一方で動き回らない」ということは誤りだ」ということは成り立つ
事実10: そのＰＤＦは史跡でない

仮説: あの米国精神医学会は地点略語だが動き回らない
1. 事実4から、推論1: "あの米国精神医学会はクロシャール達でないなら「史跡でなくてそれは歯痒くない」ということは確かだ"が導かれる
2. 仮定1: 以下のように仮定する。「あの米国精神医学会はクロシャール達だということはない」ということは成り立つ
3. 推論1と仮定1から、推論2: "あの米国精神医学会は史跡でないしその上歯痒いということはない"が導かれる
4. 推論2から、推論3: "あの米国精神医学会は歯痒いということはない"が導かれる
5. 推論3と事実7から、推論4: "「この尿路感染症は逸る」ということは確かだ"が導かれる
6. 事実1と事実8から、推論5: "この尿路感染症は逸らない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの米国精神医学会はクロシャール達だ"が導かれる
9. 推論7と事実3から、仮説が導かれる

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