「ネガティブ指向である」物はある
fact1: もし仮になにかは表示し切れるがしかし耐え抜かないとするとあの男女共学はネガティブ指向である fact2: 「カドーでない」物はある fact3: 「表示し切れる」物はある fact4: 「動かさない」物はある fact5: 「「おっそろし」ということは真実である」物はある fact6: 「「裏地であるがしかし拱かない」ということは成り立つ」ものはある fact7: なにかは動かさないとするとその百六十五ページ参照は表示し切れるけど耐え抜かない
fact4 & fact7 -> int1: その百六十五ページ参照は表示し切れるけれどそれは耐え抜かない; int1 -> int2: とある物は表示し切れる一方で耐え抜かない; int2 & fact1 -> int3: 「あの男女共学はネガティブ指向である」ということは本当である; int3 -> hypothesis;
$facts$ = fact1: もし仮になにかは表示し切れるがしかし耐え抜かないとするとあの男女共学はネガティブ指向である fact2: 「カドーでない」物はある fact3: 「表示し切れる」物はある fact4: 「動かさない」物はある fact5: 「「おっそろし」ということは真実である」物はある fact6: 「「裏地であるがしかし拱かない」ということは成り立つ」ものはある fact7: なにかは動かさないとするとその百六十五ページ参照は表示し切れるけど耐え抜かない ; $hypothesis$ = 「ネガティブ指向である」物はある ; $proof$ = 
fact4 & fact7 -> int1: その百六十五ページ参照は表示し切れるけれどそれは耐え抜かない; int1 -> int2: とある物は表示し切れる一方で耐え抜かない; int2 & fact1 -> int3: 「あの男女共学はネガティブ指向である」ということは本当である; int3 -> hypothesis; __PROVED__
事実1: もし仮になにかは表示し切れるがしかし耐え抜かないとするとあの男女共学はネガティブ指向である
事実2: 「カドーでない」物はある
事実3: 「表示し切れる」物はある
事実4: 「動かさない」物はある
事実5: 「「おっそろし」ということは真実である」物はある
事実6: 「「裏地であるがしかし拱かない」ということは成り立つ」ものはある
事実7: なにかは動かさないとするとその百六十五ページ参照は表示し切れるけど耐え抜かない

仮説: 「ネガティブ指向である」物はある
1. 事実4と事実7から、推論1: "その百六十五ページ参照は表示し切れるけれどそれは耐え抜かない"が導かれる
2. 推論1から、推論2: "とある物は表示し切れる一方で耐え抜かない"が導かれる
3. 推論2と事実1から、推論3: "「あの男女共学はネガティブ指向である」ということは本当である"が導かれる
4. 推論3から、仮説が導かれる

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