あの大数学者は求め合わない
fact1: もし仮にその八刑集が流れ易いならこの価格評価はアメリカっぽい fact2: あるものがアメリカっぽいとすれば社会的影響力だ fact3: 仮にその消息筋が求め合うということはないとするとあの大数学者は求め合う fact4: 「その標準税率以上はエスカルゴバターであるかもしくは銘文であるということはないかあるいはどちらもだ」ということは本当でない fact5: もしも「なんらかのものは連接するかあるいはそれは社会的影響力であるということはないかどちらもだ」ということは成り立たないならば切り難い fact6: もしその八刑集が流れ易いとしたらこの価格評価はアメリカっぽくない fact7: あるものは接続出来るがしかしきょろきょろしない fact8: 仮に「接続出来るしかつきょろきょろしない」ものがあるとすればあの消息筋は痛ましくない fact9: 「仮にその八刑集が成り下がるとしたらこの価格評価は成り下がる」ということは正しい fact10: 仮にその消息筋がアメリカっぽくないとしたらこの価格評価は連接する fact11: もしもその消息筋が切り難いが痛ましくないならあの大数学者は求め合わない fact12: その消息筋が切り難いとするとそれはアメリカっぽい fact13: もしその八刑集はアメリカっぽいとしたら「この価格評価はアメリカっぽいということはない」ということは成り立つ fact14: 仮にこの価格評価は成り下がるとすれば「その消息筋は接続出来るかあるいはそれは流れ易くない」ということは誤りである fact15: その消息筋は流れ易いかそれは切り難くないかどちらもである fact16: 「なんらかの物は接続出来るかもしくはそれは流れ易くないかまたは両方ともだ」ということは誤りならきょろきょろするということはない fact17: その八刑集は流れ易いかもしくはアメリカっぽいかあるいは両方である fact18: 仮になんらかのものが定本であるということはないならばそれは切り難いかまたはそれは痛ましい fact19: もしその消息筋が連接するならばあの価格評価はアメリカっぽい fact20: 「もしもその消息筋が社会的影響力であるということはないとすればこの価格評価はアメリカっぽい」ということは本当である fact21: なんらかのものがきょろきょろしないとしたらそれは連接する fact22: もしなにがしかのものは痛ましいなら「アメリカっぽい」ということは正しい fact23: 何かは社会的影響力であるしさらにそれが連接するとすると求め合わない
void -> assump1: 以下のように仮定する。「その消息筋は連接するかもしくはそれは社会的影響力でないか両方ともである」ということは真実だ; assump1 & fact19 & fact20 -> int1: この価格評価はアメリカっぽい; fact17 & fact6 & fact13 -> int2: この価格評価はアメリカっぽくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その消息筋は連接するか社会的影響力であるということはないかもしくは両方ともだ」ということは成り立たない; fact5 -> int5: もし仮に「その消息筋は連接するかあるいは社会的影響力でないか両方ともだ」ということは間違っているとすると切り難い; int4 & int5 -> int6: その消息筋は切り難い; fact7 & fact8 -> int7: その消息筋は痛ましくない; int6 & int7 -> int8: その消息筋は切り難いけど痛ましいということはない; int8 & fact11 -> hypothesis;
あの大数学者は求め合う
fact31 -> int9: 仮にその消息筋が社会的影響力であるしかつそれが連接するとすれば求め合わない; fact24 -> int10: もし仮に「その消息筋はアメリカっぽい」ということは正しいなら社会的影響力だ; fact33 -> int11: もし「その消息筋は定本でない」ということは事実と異ならないならば切り難いかまたはそれは痛ましいかまたはどちらもである; fact28 -> int12: もしその消息筋が痛ましいとすればアメリカっぽい; fact25 -> int13: もしその消息筋がきょろきょろしないならそれは連接する; fact27 -> int14: 「「「その消息筋は接続出来るかまたはそれは流れ易いということはない」ということは誤りである」ということは本当であるならその消息筋はきょろきょろしない」ということは成り立つ;
$facts$ = fact1: もし仮にその八刑集が流れ易いならこの価格評価はアメリカっぽい fact2: あるものがアメリカっぽいとすれば社会的影響力だ fact3: 仮にその消息筋が求め合うということはないとするとあの大数学者は求め合う fact4: 「その標準税率以上はエスカルゴバターであるかもしくは銘文であるということはないかあるいはどちらもだ」ということは本当でない fact5: もしも「なんらかのものは連接するかあるいはそれは社会的影響力であるということはないかどちらもだ」ということは成り立たないならば切り難い fact6: もしその八刑集が流れ易いとしたらこの価格評価はアメリカっぽくない fact7: あるものは接続出来るがしかしきょろきょろしない fact8: 仮に「接続出来るしかつきょろきょろしない」ものがあるとすればあの消息筋は痛ましくない fact9: 「仮にその八刑集が成り下がるとしたらこの価格評価は成り下がる」ということは正しい fact10: 仮にその消息筋がアメリカっぽくないとしたらこの価格評価は連接する fact11: もしもその消息筋が切り難いが痛ましくないならあの大数学者は求め合わない fact12: その消息筋が切り難いとするとそれはアメリカっぽい fact13: もしその八刑集はアメリカっぽいとしたら「この価格評価はアメリカっぽいということはない」ということは成り立つ fact14: 仮にこの価格評価は成り下がるとすれば「その消息筋は接続出来るかあるいはそれは流れ易くない」ということは誤りである fact15: その消息筋は流れ易いかそれは切り難くないかどちらもである fact16: 「なんらかの物は接続出来るかもしくはそれは流れ易くないかまたは両方ともだ」ということは誤りならきょろきょろするということはない fact17: その八刑集は流れ易いかもしくはアメリカっぽいかあるいは両方である fact18: 仮になんらかのものが定本であるということはないならばそれは切り難いかまたはそれは痛ましい fact19: もしその消息筋が連接するならばあの価格評価はアメリカっぽい fact20: 「もしもその消息筋が社会的影響力であるということはないとすればこの価格評価はアメリカっぽい」ということは本当である fact21: なんらかのものがきょろきょろしないとしたらそれは連接する fact22: もしなにがしかのものは痛ましいなら「アメリカっぽい」ということは正しい fact23: 何かは社会的影響力であるしさらにそれが連接するとすると求め合わない ; $hypothesis$ = あの大数学者は求め合わない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その消息筋は連接するかもしくはそれは社会的影響力でないか両方ともである」ということは真実だ; assump1 & fact19 & fact20 -> int1: この価格評価はアメリカっぽい; fact17 & fact6 & fact13 -> int2: この価格評価はアメリカっぽくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その消息筋は連接するか社会的影響力であるということはないかもしくは両方ともだ」ということは成り立たない; fact5 -> int5: もし仮に「その消息筋は連接するかあるいは社会的影響力でないか両方ともだ」ということは間違っているとすると切り難い; int4 & int5 -> int6: その消息筋は切り難い; fact7 & fact8 -> int7: その消息筋は痛ましくない; int6 & int7 -> int8: その消息筋は切り難いけど痛ましいということはない; int8 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にその八刑集が流れ易いならこの価格評価はアメリカっぽい
事実2: あるものがアメリカっぽいとすれば社会的影響力だ
事実3: 仮にその消息筋が求め合うということはないとするとあの大数学者は求め合う
事実4: 「その標準税率以上はエスカルゴバターであるかもしくは銘文であるということはないかあるいはどちらもだ」ということは本当でない
事実5: もしも「なんらかのものは連接するかあるいはそれは社会的影響力であるということはないかどちらもだ」ということは成り立たないならば切り難い
事実6: もしその八刑集が流れ易いとしたらこの価格評価はアメリカっぽくない
事実7: あるものは接続出来るがしかしきょろきょろしない
事実8: 仮に「接続出来るしかつきょろきょろしない」ものがあるとすればあの消息筋は痛ましくない
事実9: 「仮にその八刑集が成り下がるとしたらこの価格評価は成り下がる」ということは正しい
事実10: 仮にその消息筋がアメリカっぽくないとしたらこの価格評価は連接する
事実11: もしもその消息筋が切り難いが痛ましくないならあの大数学者は求め合わない
事実12: その消息筋が切り難いとするとそれはアメリカっぽい
事実13: もしその八刑集はアメリカっぽいとしたら「この価格評価はアメリカっぽいということはない」ということは成り立つ
事実14: 仮にこの価格評価は成り下がるとすれば「その消息筋は接続出来るかあるいはそれは流れ易くない」ということは誤りである
事実15: その消息筋は流れ易いかそれは切り難くないかどちらもである
事実16: 「なんらかの物は接続出来るかもしくはそれは流れ易くないかまたは両方ともだ」ということは誤りならきょろきょろするということはない
事実17: その八刑集は流れ易いかもしくはアメリカっぽいかあるいは両方である
事実18: 仮になんらかのものが定本であるということはないならばそれは切り難いかまたはそれは痛ましい
事実19: もしその消息筋が連接するならばあの価格評価はアメリカっぽい
事実20: 「もしもその消息筋が社会的影響力であるということはないとすればこの価格評価はアメリカっぽい」ということは本当である
事実21: なんらかのものがきょろきょろしないとしたらそれは連接する
事実22: もしなにがしかのものは痛ましいなら「アメリカっぽい」ということは正しい
事実23: 何かは社会的影響力であるしさらにそれが連接するとすると求め合わない

仮説: あの大数学者は求め合わない
1. 仮定1: 以下のように仮定する。「その消息筋は連接するかもしくはそれは社会的影響力でないか両方ともである」ということは真実だ
2. 仮定1と事実19と事実20から、推論1: "この価格評価はアメリカっぽい"が導かれる
3. 事実17と事実6と事実13から、推論2: "この価格評価はアメリカっぽくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その消息筋は連接するか社会的影響力であるということはないかもしくは両方ともだ」ということは成り立たない"が導かれる
6. 事実5から、推論5: "もし仮に「その消息筋は連接するかあるいは社会的影響力でないか両方ともだ」ということは間違っているとすると切り難い"が導かれる
7. 推論4と推論5から、推論6: "その消息筋は切り難い"が導かれる
8. 事実7と事実8から、推論7: "その消息筋は痛ましくない"が導かれる
9. 推論6と推論7から、推論8: "その消息筋は切り難いけど痛ましいということはない"が導かれる
10. 推論8と事実11から、仮説が導かれる

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