「「鉢合わせする」ということは正しいとすればＥＣＯで加えてＡＢでない」ものはある
fact1: もし仮にとあるものが経ないとすれば取り辛いし加えて疎む fact2: もし仮にとあるものは取り辛いならば「それは倍だということはないかそれは削平する」ということは真実でない fact3: 「その多民族社会はＡＢであるけれど鉢合わせしない」ということは事実と異なるとすればこの后妃は弾み揺らがない fact4: 仮にその多民族社会が弾み揺らぐかもしくはそれが鉢合わせするとするとＡＢでない fact5: 「その多民族社会は掻き消す」ということは事実だとするとＥＣＯだ fact6: 「もしも鉢合わせするとしたらＡＢでない」ものはある fact7: 「鉢合わせするとしたらＥＣＯだしさらに弾み揺らがない」物はある fact8: もしもその多民族社会が艶めかしいかあるいはそれはＥＣＯであるかあるいは両方ともならそれは苦くない fact9: その多民族社会は鉢合わせする一方で美味しかない fact10: もしも「その既得権益層は経るしそれに御強い」ということは誤りだとしたら「そのワードアートは経るということはない」ということは真実だ fact11: もしも「何かは弾み揺らがない」ということは成り立てば「それは掻き消す」ということは本当だ fact12: 「「もし鉢合わせするとすればＥＣＯである」ものはある」ということは嘘でない fact13: その千九百六十六Ｂは掻き消す fact14: その多民族社会は掻き消す fact15: もしも「その君子タイプは倍でないかあるいはそれは削平するかもしくはどちらもだ」ということは偽であるとすればその多民族社会はＥＣＯでない fact16: 「鉢合わせするならＥＣＯだし更にＡＢである」ものはある fact17: 仮にとある物はＥＣＯでないなら「ＡＢだがしかし鉢合わせしない」ということは正しくない fact18: この対立関係は鉢合わせする fact19: その多民族社会は弾み揺らぐ fact20: 仮にそのワードアートが取り辛いならばその君子タイプは取り辛い fact21: その学習理論はセーフティーであるかもしくはそれは御美しいか両方である
void -> assump1: 以下のように仮定する。「その多民族社会は鉢合わせする」ということは真実だ; assump1 -> int1: その多民族社会は弾み揺らぐか鉢合わせするかまたはどちらもだ; int1 & fact4 -> int2: その多民族社会はＡＢでない; fact5 & fact14 -> int3: その多民族社会はＥＣＯだ; int2 & int3 -> int4: 「その多民族社会はＥＣＯだけれどそれはＡＢでない」ということは成り立つ; [assump1] & int4 -> int5: その多民族社会が鉢合わせすればＥＣＯである一方でＡＢでない; int5 -> hypothesis;
この后妃は掻き消す
fact23 -> int6: 仮にこの后妃が弾み揺らがないとするとそれは掻き消す; fact27 -> int7: もし仮にその多民族社会はＥＣＯであるということはないならば「それがＡＢだしまた鉢合わせしない」ということは成り立たない; fact22 -> int8: 「その君子タイプは取り辛い」ということは成り立つなら「それは倍でないか削平するか両方ともだ」ということは間違いだ; fact26 -> int9: 仮にそのワードアートが経ないとすれば取り辛いししかも疎む;
$facts$ = fact1: もし仮にとあるものが経ないとすれば取り辛いし加えて疎む fact2: もし仮にとあるものは取り辛いならば「それは倍だということはないかそれは削平する」ということは真実でない fact3: 「その多民族社会はＡＢであるけれど鉢合わせしない」ということは事実と異なるとすればこの后妃は弾み揺らがない fact4: 仮にその多民族社会が弾み揺らぐかもしくはそれが鉢合わせするとするとＡＢでない fact5: 「その多民族社会は掻き消す」ということは事実だとするとＥＣＯだ fact6: 「もしも鉢合わせするとしたらＡＢでない」ものはある fact7: 「鉢合わせするとしたらＥＣＯだしさらに弾み揺らがない」物はある fact8: もしもその多民族社会が艶めかしいかあるいはそれはＥＣＯであるかあるいは両方ともならそれは苦くない fact9: その多民族社会は鉢合わせする一方で美味しかない fact10: もしも「その既得権益層は経るしそれに御強い」ということは誤りだとしたら「そのワードアートは経るということはない」ということは真実だ fact11: もしも「何かは弾み揺らがない」ということは成り立てば「それは掻き消す」ということは本当だ fact12: 「「もし鉢合わせするとすればＥＣＯである」ものはある」ということは嘘でない fact13: その千九百六十六Ｂは掻き消す fact14: その多民族社会は掻き消す fact15: もしも「その君子タイプは倍でないかあるいはそれは削平するかもしくはどちらもだ」ということは偽であるとすればその多民族社会はＥＣＯでない fact16: 「鉢合わせするならＥＣＯだし更にＡＢである」ものはある fact17: 仮にとある物はＥＣＯでないなら「ＡＢだがしかし鉢合わせしない」ということは正しくない fact18: この対立関係は鉢合わせする fact19: その多民族社会は弾み揺らぐ fact20: 仮にそのワードアートが取り辛いならばその君子タイプは取り辛い fact21: その学習理論はセーフティーであるかもしくはそれは御美しいか両方である ; $hypothesis$ = 「「鉢合わせする」ということは正しいとすればＥＣＯで加えてＡＢでない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「その多民族社会は鉢合わせする」ということは真実だ; assump1 -> int1: その多民族社会は弾み揺らぐか鉢合わせするかまたはどちらもだ; int1 & fact4 -> int2: その多民族社会はＡＢでない; fact5 & fact14 -> int3: その多民族社会はＥＣＯだ; int2 & int3 -> int4: 「その多民族社会はＥＣＯだけれどそれはＡＢでない」ということは成り立つ; [assump1] & int4 -> int5: その多民族社会が鉢合わせすればＥＣＯである一方でＡＢでない; int5 -> hypothesis; __PROVED__
事実1: もし仮にとあるものが経ないとすれば取り辛いし加えて疎む
事実2: もし仮にとあるものは取り辛いならば「それは倍だということはないかそれは削平する」ということは真実でない
事実3: 「その多民族社会はＡＢであるけれど鉢合わせしない」ということは事実と異なるとすればこの后妃は弾み揺らがない
事実4: 仮にその多民族社会が弾み揺らぐかもしくはそれが鉢合わせするとするとＡＢでない
事実5: 「その多民族社会は掻き消す」ということは事実だとするとＥＣＯだ
事実6: 「もしも鉢合わせするとしたらＡＢでない」ものはある
事実7: 「鉢合わせするとしたらＥＣＯだしさらに弾み揺らがない」物はある
事実8: もしもその多民族社会が艶めかしいかあるいはそれはＥＣＯであるかあるいは両方ともならそれは苦くない
事実9: その多民族社会は鉢合わせする一方で美味しかない
事実10: もしも「その既得権益層は経るしそれに御強い」ということは誤りだとしたら「そのワードアートは経るということはない」ということは真実だ
事実11: もしも「何かは弾み揺らがない」ということは成り立てば「それは掻き消す」ということは本当だ
事実12: 「「もし鉢合わせするとすればＥＣＯである」ものはある」ということは嘘でない
事実13: その千九百六十六Ｂは掻き消す
事実14: その多民族社会は掻き消す
事実15: もしも「その君子タイプは倍でないかあるいはそれは削平するかもしくはどちらもだ」ということは偽であるとすればその多民族社会はＥＣＯでない
事実16: 「鉢合わせするならＥＣＯだし更にＡＢである」ものはある
事実17: 仮にとある物はＥＣＯでないなら「ＡＢだがしかし鉢合わせしない」ということは正しくない
事実18: この対立関係は鉢合わせする
事実19: その多民族社会は弾み揺らぐ
事実20: 仮にそのワードアートが取り辛いならばその君子タイプは取り辛い
事実21: その学習理論はセーフティーであるかもしくはそれは御美しいか両方である

仮説: 「「鉢合わせする」ということは正しいとすればＥＣＯで加えてＡＢでない」ものはある
1. 仮定1: 以下のように仮定する。「その多民族社会は鉢合わせする」ということは真実だ
2. 仮定1から、推論1: "その多民族社会は弾み揺らぐか鉢合わせするかまたはどちらもだ"が導かれる
3. 推論1と事実4から、推論2: "その多民族社会はＡＢでない"が導かれる
4. 事実5と事実14から、推論3: "その多民族社会はＥＣＯだ"が導かれる
5. 推論2と推論3から、推論4: "「その多民族社会はＥＣＯだけれどそれはＡＢでない」ということは成り立つ"が導かれる
6. [仮定1]と推論4から、推論5: "その多民族社会が鉢合わせすればＥＣＯである一方でＡＢでない"が導かれる
7. 推論5から、仮説が導かれる

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