もし仮にこの略図が約すとするとその選好度は利用し難いということはないかまたは騒ぎ始めるか両方である
fact1: その選好度は利用し難いかあるいは騒ぎ始める fact2: もしこの美術大学が約すとすればこの略図は解答する fact3: その選好度が約すとしたらこの略図は利用し難いか騒ぎ始めるかまたは両方だ fact4: もしも「その選好度は利用し難くないかまたは騒ぎ始める」ということは正しくないとすればこの略図は約さない fact5: 「その選好度は利用し難い」ということは本当である fact6: その選好度は騒ぎ始めない fact7: あの薬理は騒ぎ始める fact8: もし仮に「その選好度は約すか利用し難いかもしくは両方ともである」ということは誤りならこの略図は騒ぎ始めない fact9: もしこの略図が約すとするとその選好度は利用し難いかまたは騒ぎ始めるかまたは両方ともである fact10: 「もし仮に「その選好度は利用し難いかあるいは騒ぎ始めるかまたは両方だ」ということは間違っていれば「この略図は約さない」ということは成り立つ」ということは事実である fact11: もしその選好度が利用し難くないかもしくは騒ぎ始めるか両方だとしたらこの略図は約さない fact12: この略図が利用し難くないかあるいはそれが騒ぎ始めるかもしくは両方ならその選好度は約さない fact13: 仮にその選好度は解答しないとしたら「その合意形成は利用し難くないかそれは躙り寄るかもしくはどちらもだ」ということは誤っている fact14: もし仮にこの略図が解答すればその選好度は解答しない fact15: 「その選好度は約しないかあるいはそれは利用し難いかまたはどちらもだ」ということは成り立たないとするとこの略図は騒ぎ始めない fact16: この略図は利用し難い
void -> assump1: 以下のように仮定する。「その選好度は利用し難くないかまたは騒ぎ始めるかもしくは両方である」ということは事実と異なる; fact4 & assump1 -> int1: この略図は約すということはない; void -> assump2: 以下のように仮定する。「この略図は約す」ということは成り立つ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その選好度は利用し難くないか騒ぎ始めるか両方だ; [assump2] & int3 -> hypothesis;
「その合意形成は利用し難くないかそれは躙り寄る」ということは偽だ
$facts$ = fact1: その選好度は利用し難いかあるいは騒ぎ始める fact2: もしこの美術大学が約すとすればこの略図は解答する fact3: その選好度が約すとしたらこの略図は利用し難いか騒ぎ始めるかまたは両方だ fact4: もしも「その選好度は利用し難くないかまたは騒ぎ始める」ということは正しくないとすればこの略図は約さない fact5: 「その選好度は利用し難い」ということは本当である fact6: その選好度は騒ぎ始めない fact7: あの薬理は騒ぎ始める fact8: もし仮に「その選好度は約すか利用し難いかもしくは両方ともである」ということは誤りならこの略図は騒ぎ始めない fact9: もしこの略図が約すとするとその選好度は利用し難いかまたは騒ぎ始めるかまたは両方ともである fact10: 「もし仮に「その選好度は利用し難いかあるいは騒ぎ始めるかまたは両方だ」ということは間違っていれば「この略図は約さない」ということは成り立つ」ということは事実である fact11: もしその選好度が利用し難くないかもしくは騒ぎ始めるか両方だとしたらこの略図は約さない fact12: この略図が利用し難くないかあるいはそれが騒ぎ始めるかもしくは両方ならその選好度は約さない fact13: 仮にその選好度は解答しないとしたら「その合意形成は利用し難くないかそれは躙り寄るかもしくはどちらもだ」ということは誤っている fact14: もし仮にこの略図が解答すればその選好度は解答しない fact15: 「その選好度は約しないかあるいはそれは利用し難いかまたはどちらもだ」ということは成り立たないとするとこの略図は騒ぎ始めない fact16: この略図は利用し難い ; $hypothesis$ = もし仮にこの略図が約すとするとその選好度は利用し難いということはないかまたは騒ぎ始めるか両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その選好度は利用し難くないかまたは騒ぎ始めるかもしくは両方である」ということは事実と異なる; fact4 & assump1 -> int1: この略図は約すということはない; void -> assump2: 以下のように仮定する。「この略図は約す」ということは成り立つ; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その選好度は利用し難くないか騒ぎ始めるか両方だ; [assump2] & int3 -> hypothesis; __PROVED__
事実1: その選好度は利用し難いかあるいは騒ぎ始める
事実2: もしこの美術大学が約すとすればこの略図は解答する
事実3: その選好度が約すとしたらこの略図は利用し難いか騒ぎ始めるかまたは両方だ
事実4: もしも「その選好度は利用し難くないかまたは騒ぎ始める」ということは正しくないとすればこの略図は約さない
事実5: 「その選好度は利用し難い」ということは本当である
事実6: その選好度は騒ぎ始めない
事実7: あの薬理は騒ぎ始める
事実8: もし仮に「その選好度は約すか利用し難いかもしくは両方ともである」ということは誤りならこの略図は騒ぎ始めない
事実9: もしこの略図が約すとするとその選好度は利用し難いかまたは騒ぎ始めるかまたは両方ともである
事実10: 「もし仮に「その選好度は利用し難いかあるいは騒ぎ始めるかまたは両方だ」ということは間違っていれば「この略図は約さない」ということは成り立つ」ということは事実である
事実11: もしその選好度が利用し難くないかもしくは騒ぎ始めるか両方だとしたらこの略図は約さない
事実12: この略図が利用し難くないかあるいはそれが騒ぎ始めるかもしくは両方ならその選好度は約さない
事実13: 仮にその選好度は解答しないとしたら「その合意形成は利用し難くないかそれは躙り寄るかもしくはどちらもだ」ということは誤っている
事実14: もし仮にこの略図が解答すればその選好度は解答しない
事実15: 「その選好度は約しないかあるいはそれは利用し難いかまたはどちらもだ」ということは成り立たないとするとこの略図は騒ぎ始めない
事実16: この略図は利用し難い

仮説: もし仮にこの略図が約すとするとその選好度は利用し難いということはないかまたは騒ぎ始めるか両方である
1. 仮定1: 以下のように仮定する。「その選好度は利用し難くないかまたは騒ぎ始めるかもしくは両方である」ということは事実と異なる
2. 事実4と仮定1から、推論1: "この略図は約すということはない"が導かれる
3. 仮定2: 以下のように仮定する。「この略図は約す」ということは成り立つ
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "その選好度は利用し難くないか騒ぎ始めるか両方だ"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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