「公卿達であるならば喜ばしいということはないしその上使い難くない」ものはある
fact1: もしあの共同利益は公卿達でないかもしくは訂正すかあるいはどちらもだとすると遣り辛くない fact2: 仮に「このＥＧは分子量でない」ということは本当だとすれば楽しないしかつ人間らしくない fact3: このＥＧが切迫するということはないならば皮肉っぽくないしそれに限り無くない fact4: 「この正字は宿代である」ということは事実だ fact5: もしもあのコーネル大学講演は限り無いとすれば「あの企画・判断職層は限り無い」ということは成り立つ fact6: このＥＧはおっきい fact7: もしも「何かは公卿達でない」ということは真実ならばそれは切迫するということはないかもしくは成し遂げる fact8: 「「公卿達だ」ということは真実であるとすると喜ばしかない」物はある fact9: 「もし仮に「限り無くない」ということは事実と異なれば切迫しない」物はある fact10: もしも「その価格水準は使い難くない一方で切り難い」ということは誤りであるとするとあの企画・判断職層は使い難いということはない fact11: このＦＢＩは語り掛けるかまたは切迫するかもしくはどちらもである fact12: 「このＥＧは使い難くない」ということは真実だ fact13: もしもあの企画・判断職層が皮肉っぽいしかつ限り無いとするとこの投資活動は公卿達でない fact14: 公卿達は宿代でないか共有持ち分権であるかどちらもである fact15: もしも「このＥＧは塩っ辛い」ということは正しいならば笑い続けるということはなくてかつそれは使い難くない fact16: このＥＧは共有持ち分権であるとしたらそれは切迫するということはない fact17: この批判精神が黄色っぽいならばそれは開けるかまたは触れ回るかあるいは両方ともである fact18: 「意気消沈する」物はある fact19: このＥＧは皮肉っぽくないし限り無くないならそれは喜ばしかない fact20: もし仮にこのＥＧが宿代でないかまたはそれが共有持ち分権ならそれは切迫しない fact21: 「ある物は限り無いということはなくてかつ蹴っ飛ばさない」ということは本当でないとすると限り無い fact22: もし仮にその郵便番号は英文科であるとすると「その価格水準は使い難くないけど切り難い」ということは成り立たない fact23: 「もし切迫すれば喜ばしかない」ものはある fact24: その郵便番号は英文科だ
fact14 -> int1: 「このＥＧが公卿達であるならばあのＥＧは宿代でないか共有持ち分権であるかあるいは両方ともだ」ということは事実だ; void -> assump1: 以下のように仮定する。このＥＧは公卿達だ; int1 & assump1 -> int2: このＥＧは宿代でないかあるいはそれは共有持ち分権である; int2 & fact20 -> int3: このＥＧは切迫するということはない; int3 & fact3 -> int4: このＥＧは皮肉っぽくないしさらに限り無くない; int4 & fact19 -> int5: このＥＧは喜ばしかない; int5 & fact12 -> int6: このＥＧは喜ばしかなくてまた使い難くない; [assump1] & int6 -> int7: もし仮にこのＥＧが公卿達だとしたらそれは喜ばしかなくて使い難くない; int7 -> hypothesis;
この投資活動は切迫しないかあるいは成し遂げるか両方ともだ
fact27 -> int8: この投資活動は公卿達でないなら「それは切迫しないかそれは成し遂げるかまたは両方だ」ということは事実である; fact32 & fact28 -> int9: 「その価格水準は使い難くないが切り難い」ということは間違っている; fact31 & int9 -> int10: あの企画・判断職層は使い難くない; fact29 -> int11: もし「あのコーネル大学講演は限り無いということはないしそれは蹴っ飛ばさない」ということは間違いであるならばそれは限り無い;
$facts$ = fact1: もしあの共同利益は公卿達でないかもしくは訂正すかあるいはどちらもだとすると遣り辛くない fact2: 仮に「このＥＧは分子量でない」ということは本当だとすれば楽しないしかつ人間らしくない fact3: このＥＧが切迫するということはないならば皮肉っぽくないしそれに限り無くない fact4: 「この正字は宿代である」ということは事実だ fact5: もしもあのコーネル大学講演は限り無いとすれば「あの企画・判断職層は限り無い」ということは成り立つ fact6: このＥＧはおっきい fact7: もしも「何かは公卿達でない」ということは真実ならばそれは切迫するということはないかもしくは成し遂げる fact8: 「「公卿達だ」ということは真実であるとすると喜ばしかない」物はある fact9: 「もし仮に「限り無くない」ということは事実と異なれば切迫しない」物はある fact10: もしも「その価格水準は使い難くない一方で切り難い」ということは誤りであるとするとあの企画・判断職層は使い難いということはない fact11: このＦＢＩは語り掛けるかまたは切迫するかもしくはどちらもである fact12: 「このＥＧは使い難くない」ということは真実だ fact13: もしもあの企画・判断職層が皮肉っぽいしかつ限り無いとするとこの投資活動は公卿達でない fact14: 公卿達は宿代でないか共有持ち分権であるかどちらもである fact15: もしも「このＥＧは塩っ辛い」ということは正しいならば笑い続けるということはなくてかつそれは使い難くない fact16: このＥＧは共有持ち分権であるとしたらそれは切迫するということはない fact17: この批判精神が黄色っぽいならばそれは開けるかまたは触れ回るかあるいは両方ともである fact18: 「意気消沈する」物はある fact19: このＥＧは皮肉っぽくないし限り無くないならそれは喜ばしかない fact20: もし仮にこのＥＧが宿代でないかまたはそれが共有持ち分権ならそれは切迫しない fact21: 「ある物は限り無いということはなくてかつ蹴っ飛ばさない」ということは本当でないとすると限り無い fact22: もし仮にその郵便番号は英文科であるとすると「その価格水準は使い難くないけど切り難い」ということは成り立たない fact23: 「もし切迫すれば喜ばしかない」ものはある fact24: その郵便番号は英文科だ ; $hypothesis$ = 「公卿達であるならば喜ばしいということはないしその上使い難くない」ものはある ; $proof$ = 
fact14 -> int1: 「このＥＧが公卿達であるならばあのＥＧは宿代でないか共有持ち分権であるかあるいは両方ともだ」ということは事実だ; void -> assump1: 以下のように仮定する。このＥＧは公卿達だ; int1 & assump1 -> int2: このＥＧは宿代でないかあるいはそれは共有持ち分権である; int2 & fact20 -> int3: このＥＧは切迫するということはない; int3 & fact3 -> int4: このＥＧは皮肉っぽくないしさらに限り無くない; int4 & fact19 -> int5: このＥＧは喜ばしかない; int5 & fact12 -> int6: このＥＧは喜ばしかなくてまた使い難くない; [assump1] & int6 -> int7: もし仮にこのＥＧが公卿達だとしたらそれは喜ばしかなくて使い難くない; int7 -> 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: 「もし切迫すれば喜ばしかない」ものはある
事実24: その郵便番号は英文科だ

仮説: 「公卿達であるならば喜ばしいということはないしその上使い難くない」ものはある
1. 事実14から、推論1: "「このＥＧが公卿達であるならばあのＥＧは宿代でないか共有持ち分権であるかあるいは両方ともだ」ということは事実だ"が導かれる
2. 仮定1: 以下のように仮定する。このＥＧは公卿達だ
3. 推論1と仮定1から、推論2: "このＥＧは宿代でないかあるいはそれは共有持ち分権である"が導かれる
4. 推論2と事実20から、推論3: "このＥＧは切迫するということはない"が導かれる
5. 推論3と事実3から、推論4: "このＥＧは皮肉っぽくないしさらに限り無くない"が導かれる
6. 推論4と事実19から、推論5: "このＥＧは喜ばしかない"が導かれる
7. 推論5と事実12から、推論6: "このＥＧは喜ばしかなくてまた使い難くない"が導かれる
8. [仮定1]と推論6から、推論7: "もし仮にこのＥＧが公卿達だとしたらそれは喜ばしかなくて使い難くない"が導かれる
9. 推論7から、仮説が導かれる

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