「その止血処置は寄り添う」ということは確かである
fact1: もし「入り口部でないしかつ空恐ろしい」物があるとしたらあの非組合員は飛び散る fact2: その一高は入り口部でない一方で空恐ろしい fact3: 「寄り添わない一方で入り口部な」ものがあるならその一高は飛び散る fact4: 「飛び散る」ものはある fact5: もしその止血処置が外し出せば飛び散らないかまたは持ち上がるということはないかもしくはどちらもである fact6: あの非組合員は入り口部である fact7: 空恐ろしくないものが飛び散ればその一高は入り口部である fact8: その一高は陥入する fact9: このテロリストは入り口部だ fact10: その日本語教室は寄り添う fact11: あの非組合員は味わい深い fact12: なにかは入り口部だけれどそれが空恐ろしくないとしたらそれは寄り添わない fact13: もしあの非組合員が飛び散るならその止血処置は寄り添う fact14: その一高は入り口部でないけど寄り添う fact15: その止血処置は同盟する fact16: もしもその止血処置は飛び散るということはないか持ち上がらないかまたは両方ともであるとするとそれは飛び散らない
fact2 -> int1: とある物は入り口部でない一方で空恐ろしい; int1 & fact1 -> int2: あの非組合員は飛び散る; int2 & fact13 -> hypothesis;
fact2 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact1 -> int2: {C}{a}; int2 & fact13 -> hypothesis;
その止血処置は寄り添わない
fact19 -> int3: もしその止血処置は入り口部だが空恐ろしくないとすればそれは寄り添わない;
$facts$ = fact1: もし「入り口部でないしかつ空恐ろしい」物があるとしたらあの非組合員は飛び散る fact2: その一高は入り口部でない一方で空恐ろしい fact3: 「寄り添わない一方で入り口部な」ものがあるならその一高は飛び散る fact4: 「飛び散る」ものはある fact5: もしその止血処置が外し出せば飛び散らないかまたは持ち上がるということはないかもしくはどちらもである fact6: あの非組合員は入り口部である fact7: 空恐ろしくないものが飛び散ればその一高は入り口部である fact8: その一高は陥入する fact9: このテロリストは入り口部だ fact10: その日本語教室は寄り添う fact11: あの非組合員は味わい深い fact12: なにかは入り口部だけれどそれが空恐ろしくないとしたらそれは寄り添わない fact13: もしあの非組合員が飛び散るならその止血処置は寄り添う fact14: その一高は入り口部でないけど寄り添う fact15: その止血処置は同盟する fact16: もしもその止血処置は飛び散るということはないか持ち上がらないかまたは両方ともであるとするとそれは飛び散らない ; $hypothesis$ = 「その止血処置は寄り添う」ということは確かである ; $proof$ = 
fact2 -> int1: とある物は入り口部でない一方で空恐ろしい; int1 & fact1 -> int2: あの非組合員は飛び散る; int2 & fact13 -> hypothesis; __PROVED__
事実1: もし「入り口部でないしかつ空恐ろしい」物があるとしたらあの非組合員は飛び散る
事実2: その一高は入り口部でない一方で空恐ろしい
事実3: 「寄り添わない一方で入り口部な」ものがあるならその一高は飛び散る
事実4: 「飛び散る」ものはある
事実5: もしその止血処置が外し出せば飛び散らないかまたは持ち上がるということはないかもしくはどちらもである
事実6: あの非組合員は入り口部である
事実7: 空恐ろしくないものが飛び散ればその一高は入り口部である
事実8: その一高は陥入する
事実9: このテロリストは入り口部だ
事実10: その日本語教室は寄り添う
事実11: あの非組合員は味わい深い
事実12: なにかは入り口部だけれどそれが空恐ろしくないとしたらそれは寄り添わない
事実13: もしあの非組合員が飛び散るならその止血処置は寄り添う
事実14: その一高は入り口部でないけど寄り添う
事実15: その止血処置は同盟する
事実16: もしもその止血処置は飛び散るということはないか持ち上がらないかまたは両方ともであるとするとそれは飛び散らない

仮説: 「その止血処置は寄り添う」ということは確かである
1. 事実2から、推論1: "とある物は入り口部でない一方で空恐ろしい"が導かれる
2. 推論1と事実1から、推論2: "あの非組合員は飛び散る"が導かれる
3. 推論2と事実13から、仮説が導かれる

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