もしあの甲乙間は評価し合えば「この書き順は三等分しないかあるいはライセンス契約であるかもしくは両方ともだ」ということは確かでない
fact1: もし仮にあの甲乙間が評価し合うとしたらこの書き順は三等分しないかまたはライセンス契約であるかあるいは両方ともだ fact2: もしあの甲乙間は三等分するとすると「この書き順は三等分するということはないかライセンス契約であるかまたはどちらもである」ということは誤っている fact3: この書き順は三等分しないかもしくはそれはライセンス契約だ fact4: もしもあの障害胎児が来易いならばこの心嚢内圧は複数用意する fact5: 「あの甲乙間は三等分しない」ということは間違っていないとすると鳴り響くしその上御休み為さる fact6: 仮にある物が鳴り響くとすればそれは評価し合わない fact7: あの甲乙間は三等分するとすれば「この書き順は三等分するかまたはそれはライセンス契約だ」ということは偽である fact8: 「この書き順は三等分するかあるいはそれはライセンス契約だ」ということは成り立たない fact9: 「あの甲乙間は三等分しない」ということは誤りでないなら「御休み為さる」ということは本当だ fact10: もし仮にあの甲乙間は評価し合えば「この書き順は御休み為さらないかライセンス契約であるかまたは両方である」ということは嘘だ fact11: あのプリメーラは評価し合わない fact12: あの甲乙間は御休み為さる fact13: あの障害胎児が組み合わすしその上それは来易い fact14: 仮に「あの甲乙間は三等分する」ということは事実と異ならないとするとこの書き順はライセンス契約でない fact15: もし仮にあの甲乙間は評価し合うとすれば「この書き順は三等分するかまたはライセンス契約であるか両方ともである」ということは間違いである fact16: あの甲乙間が三等分するとするとこの書き順は三等分しないかそれはライセンス契約であるかあるいは両方だ fact17: あの甲乙間が評価し合うとしたらこの書き順はライセンス契約だということはない fact18: もし仮に何かは伐採しないけどコミュニケーションツールであるならそれは評価し合う fact19: この心嚢内圧が複数用意するならこの書き順は伐採しないけどコミュニケーションツールだ fact20: 「この書き順はライセンス契約であるということはない」ということは成り立つ
void -> assump2: 以下のように仮定する。「あの甲乙間は三等分しない」ということは確かだ; fact5 & assump2 -> int1: あの甲乙間は鳴り響くしさらに御休み為さる; int1 -> int2: あの甲乙間は鳴り響く; fact6 -> int3: あの甲乙間は鳴り響くとすれば「評価し合わない」ということは偽でない; int2 & int3 -> int4: あの甲乙間は評価し合わない; void -> assump1: 以下のように仮定する。あの甲乙間は評価し合う; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「あの甲乙間は三等分する」ということは嘘だということはない; int6 & fact2 -> int7: 「この書き順は三等分しないかライセンス契約であるかもしくは両方である」ということは嘘である; [assump1] & int7 -> hypothesis;
あの甲乙間はライセンス契約である
fact21 -> int8: もしこの書き順は伐採しない一方でコミュニケーションツールならそれは評価し合う; fact24 -> int9: 「あの障害胎児は来易い」ということは成り立つ; fact22 & int9 -> int10: この心嚢内圧は複数用意する; fact23 & int10 -> int11: この書き順は伐採しないけれどコミュニケーションツールだ; int8 & int11 -> int12: この書き順は評価し合う;
$facts$ = fact1: もし仮にあの甲乙間が評価し合うとしたらこの書き順は三等分しないかまたはライセンス契約であるかあるいは両方ともだ fact2: もしあの甲乙間は三等分するとすると「この書き順は三等分するということはないかライセンス契約であるかまたはどちらもである」ということは誤っている fact3: この書き順は三等分しないかもしくはそれはライセンス契約だ fact4: もしもあの障害胎児が来易いならばこの心嚢内圧は複数用意する fact5: 「あの甲乙間は三等分しない」ということは間違っていないとすると鳴り響くしその上御休み為さる fact6: 仮にある物が鳴り響くとすればそれは評価し合わない fact7: あの甲乙間は三等分するとすれば「この書き順は三等分するかまたはそれはライセンス契約だ」ということは偽である fact8: 「この書き順は三等分するかあるいはそれはライセンス契約だ」ということは成り立たない fact9: 「あの甲乙間は三等分しない」ということは誤りでないなら「御休み為さる」ということは本当だ fact10: もし仮にあの甲乙間は評価し合えば「この書き順は御休み為さらないかライセンス契約であるかまたは両方である」ということは嘘だ fact11: あのプリメーラは評価し合わない fact12: あの甲乙間は御休み為さる fact13: あの障害胎児が組み合わすしその上それは来易い fact14: 仮に「あの甲乙間は三等分する」ということは事実と異ならないとするとこの書き順はライセンス契約でない fact15: もし仮にあの甲乙間は評価し合うとすれば「この書き順は三等分するかまたはライセンス契約であるか両方ともである」ということは間違いである fact16: あの甲乙間が三等分するとするとこの書き順は三等分しないかそれはライセンス契約であるかあるいは両方だ fact17: あの甲乙間が評価し合うとしたらこの書き順はライセンス契約だということはない fact18: もし仮に何かは伐採しないけどコミュニケーションツールであるならそれは評価し合う fact19: この心嚢内圧が複数用意するならこの書き順は伐採しないけどコミュニケーションツールだ fact20: 「この書き順はライセンス契約であるということはない」ということは成り立つ ; $hypothesis$ = もしあの甲乙間は評価し合えば「この書き順は三等分しないかあるいはライセンス契約であるかもしくは両方ともだ」ということは確かでない ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの甲乙間は三等分しない」ということは確かだ; fact5 & assump2 -> int1: あの甲乙間は鳴り響くしさらに御休み為さる; int1 -> int2: あの甲乙間は鳴り響く; fact6 -> int3: あの甲乙間は鳴り響くとすれば「評価し合わない」ということは偽でない; int2 & int3 -> int4: あの甲乙間は評価し合わない; void -> assump1: 以下のように仮定する。あの甲乙間は評価し合う; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「あの甲乙間は三等分する」ということは嘘だということはない; int6 & fact2 -> int7: 「この書き順は三等分しないかライセンス契約であるかもしくは両方である」ということは嘘である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にあの甲乙間が評価し合うとしたらこの書き順は三等分しないかまたはライセンス契約であるかあるいは両方ともだ
事実2: もしあの甲乙間は三等分するとすると「この書き順は三等分するということはないかライセンス契約であるかまたはどちらもである」ということは誤っている
事実3: この書き順は三等分しないかもしくはそれはライセンス契約だ
事実4: もしもあの障害胎児が来易いならばこの心嚢内圧は複数用意する
事実5: 「あの甲乙間は三等分しない」ということは間違っていないとすると鳴り響くしその上御休み為さる
事実6: 仮にある物が鳴り響くとすればそれは評価し合わない
事実7: あの甲乙間は三等分するとすれば「この書き順は三等分するかまたはそれはライセンス契約だ」ということは偽である
事実8: 「この書き順は三等分するかあるいはそれはライセンス契約だ」ということは成り立たない
事実9: 「あの甲乙間は三等分しない」ということは誤りでないなら「御休み為さる」ということは本当だ
事実10: もし仮にあの甲乙間は評価し合えば「この書き順は御休み為さらないかライセンス契約であるかまたは両方である」ということは嘘だ
事実11: あのプリメーラは評価し合わない
事実12: あの甲乙間は御休み為さる
事実13: あの障害胎児が組み合わすしその上それは来易い
事実14: 仮に「あの甲乙間は三等分する」ということは事実と異ならないとするとこの書き順はライセンス契約でない
事実15: もし仮にあの甲乙間は評価し合うとすれば「この書き順は三等分するかまたはライセンス契約であるか両方ともである」ということは間違いである
事実16: あの甲乙間が三等分するとするとこの書き順は三等分しないかそれはライセンス契約であるかあるいは両方だ
事実17: あの甲乙間が評価し合うとしたらこの書き順はライセンス契約だということはない
事実18: もし仮に何かは伐採しないけどコミュニケーションツールであるならそれは評価し合う
事実19: この心嚢内圧が複数用意するならこの書き順は伐採しないけどコミュニケーションツールだ
事実20: 「この書き順はライセンス契約であるということはない」ということは成り立つ

仮説: もしあの甲乙間は評価し合えば「この書き順は三等分しないかあるいはライセンス契約であるかもしくは両方ともだ」ということは確かでない
1. 仮定2: 以下のように仮定する。「あの甲乙間は三等分しない」ということは確かだ
2. 事実5と仮定2から、推論1: "あの甲乙間は鳴り響くしさらに御休み為さる"が導かれる
3. 推論1から、推論2: "あの甲乙間は鳴り響く"が導かれる
4. 事実6から、推論3: "あの甲乙間は鳴り響くとすれば「評価し合わない」ということは偽でない"が導かれる
5. 推論2と推論3から、推論4: "あの甲乙間は評価し合わない"が導かれる
6. 仮定1: 以下のように仮定する。あの甲乙間は評価し合う
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「あの甲乙間は三等分する」ということは嘘だということはない"が導かれる
9. 推論6と事実2から、推論7: "「この書き順は三等分しないかライセンス契約であるかもしくは両方である」ということは嘘である"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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