その綱渡りは泌尿器疾患である
fact1: あの果て半島は泌尿器疾患ならば「その綱渡りは髪・解消メニューである」ということは真実だ fact2: この被蓋は拘束しない fact3: もし仮にその綱渡りは丸まらないとすれば「その耐用年数は突き固めないかそれは泌尿器疾患でない」ということは成り立たない fact4: もし仮にこの被蓋は拘束するということはないとしたら「その耐用年数は書き継ぐということはないかあるいは突き固めないかどちらもである」ということは事実と異なる fact5: もしあの果て半島が髪・解消メニューであるとするとその綱渡りは泌尿器疾患である fact6: もし仮に「その耐用年数は書き継がないかもしくは突き固めないかもしくはどちらもである」ということは嘘であるとしたら開始し始める fact7: もし仮に「この被蓋は開始し始める一方で泌尿器疾患でない」ということは間違いならその綱渡りは泌尿器疾患だということはない fact8: もしもその綱渡りは突き固めないとすれば「「その耐用年数は開始し始めるということはないかあるいは丸まらないかあるいは両方である」ということは確かでない」ということは嘘でない fact9: もしこの被蓋が拘束しないとしたらその耐用年数は書き継ぐ fact10: 何らかのものが開始し始めるならそれは丸まる fact11: もしも何かは髪・解消メニューでないとすると「それは拘束するかもしくはそれは丸まらないかもしくはどちらもである」ということは成り立つ fact12: その耐用年数は丸まるとしたら「あの果て半島は髪・解消メニューだ」ということは成り立つ fact13: その耐用年数は髪・解消メニューである
fact4 & fact2 -> int1: 「その耐用年数は書き継がないかまたは突き固めないか両方である」ということは誤っている; int1 & fact6 -> int2: その耐用年数は開始し始める; fact10 -> int3: もしその耐用年数は開始し始めればそれは丸まる; int2 & int3 -> int4: その耐用年数は丸まる; int4 & fact12 -> int5: あの果て半島は髪・解消メニューだ; int5 & fact5 -> hypothesis;
その綱渡りは泌尿器疾患でない
fact14 -> int6: 仮にその耐用年数は髪・解消メニューでないなら拘束するかまたは丸まらないかあるいは両方だ;
$facts$ = fact1: あの果て半島は泌尿器疾患ならば「その綱渡りは髪・解消メニューである」ということは真実だ fact2: この被蓋は拘束しない fact3: もし仮にその綱渡りは丸まらないとすれば「その耐用年数は突き固めないかそれは泌尿器疾患でない」ということは成り立たない fact4: もし仮にこの被蓋は拘束するということはないとしたら「その耐用年数は書き継ぐということはないかあるいは突き固めないかどちらもである」ということは事実と異なる fact5: もしあの果て半島が髪・解消メニューであるとするとその綱渡りは泌尿器疾患である fact6: もし仮に「その耐用年数は書き継がないかもしくは突き固めないかもしくはどちらもである」ということは嘘であるとしたら開始し始める fact7: もし仮に「この被蓋は開始し始める一方で泌尿器疾患でない」ということは間違いならその綱渡りは泌尿器疾患だということはない fact8: もしもその綱渡りは突き固めないとすれば「「その耐用年数は開始し始めるということはないかあるいは丸まらないかあるいは両方である」ということは確かでない」ということは嘘でない fact9: もしこの被蓋が拘束しないとしたらその耐用年数は書き継ぐ fact10: 何らかのものが開始し始めるならそれは丸まる fact11: もしも何かは髪・解消メニューでないとすると「それは拘束するかもしくはそれは丸まらないかもしくはどちらもである」ということは成り立つ fact12: その耐用年数は丸まるとしたら「あの果て半島は髪・解消メニューだ」ということは成り立つ fact13: その耐用年数は髪・解消メニューである ; $hypothesis$ = その綱渡りは泌尿器疾患である ; $proof$ = 
fact4 & fact2 -> int1: 「その耐用年数は書き継がないかまたは突き固めないか両方である」ということは誤っている; int1 & fact6 -> int2: その耐用年数は開始し始める; fact10 -> int3: もしその耐用年数は開始し始めればそれは丸まる; int2 & int3 -> int4: その耐用年数は丸まる; int4 & fact12 -> int5: あの果て半島は髪・解消メニューだ; int5 & fact5 -> hypothesis; __PROVED__
事実1: あの果て半島は泌尿器疾患ならば「その綱渡りは髪・解消メニューである」ということは真実だ
事実2: この被蓋は拘束しない
事実3: もし仮にその綱渡りは丸まらないとすれば「その耐用年数は突き固めないかそれは泌尿器疾患でない」ということは成り立たない
事実4: もし仮にこの被蓋は拘束するということはないとしたら「その耐用年数は書き継ぐということはないかあるいは突き固めないかどちらもである」ということは事実と異なる
事実5: もしあの果て半島が髪・解消メニューであるとするとその綱渡りは泌尿器疾患である
事実6: もし仮に「その耐用年数は書き継がないかもしくは突き固めないかもしくはどちらもである」ということは嘘であるとしたら開始し始める
事実7: もし仮に「この被蓋は開始し始める一方で泌尿器疾患でない」ということは間違いならその綱渡りは泌尿器疾患だということはない
事実8: もしもその綱渡りは突き固めないとすれば「「その耐用年数は開始し始めるということはないかあるいは丸まらないかあるいは両方である」ということは確かでない」ということは嘘でない
事実9: もしこの被蓋が拘束しないとしたらその耐用年数は書き継ぐ
事実10: 何らかのものが開始し始めるならそれは丸まる
事実11: もしも何かは髪・解消メニューでないとすると「それは拘束するかもしくはそれは丸まらないかもしくはどちらもである」ということは成り立つ
事実12: その耐用年数は丸まるとしたら「あの果て半島は髪・解消メニューだ」ということは成り立つ
事実13: その耐用年数は髪・解消メニューである

仮説: その綱渡りは泌尿器疾患である
1. 事実4と事実2から、推論1: "「その耐用年数は書き継がないかまたは突き固めないか両方である」ということは誤っている"が導かれる
2. 推論1と事実6から、推論2: "その耐用年数は開始し始める"が導かれる
3. 事実10から、推論3: "もしその耐用年数は開始し始めればそれは丸まる"が導かれる
4. 推論2と推論3から、推論4: "その耐用年数は丸まる"が導かれる
5. 推論4と事実12から、推論5: "あの果て半島は髪・解消メニューだ"が導かれる
6. 推論5と事実5から、仮説が導かれる

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