この手織りは峰である
fact1: その人固有は等しい fact2: このノーズは等しい fact3: 広がり易いということはないものは峰であるかもしくは等しい fact4: このノーズは峰である fact5: 「この手織りが等しいとするとこのノーズは峰だ」ということは誤りでない fact6: 仮にとある物が運営するしその上それが思しいとしたらそれは広がり易くない fact7: 「その板間は等しい」ということは間違っていない fact8: もし仮にこのノーズが等しいとすればこの手織りは峰である fact9: この手織りは等しい
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
あの自然科学は峰だ
fact11 -> int1: 「このノーズは広がり易くない」ということは真実だとすると峰であるか等しい; fact10 -> int2: 仮にこのノーズが運営するしその上思しいとすればそれは広がり易くない;
$facts$ = fact1: その人固有は等しい fact2: このノーズは等しい fact3: 広がり易いということはないものは峰であるかもしくは等しい fact4: このノーズは峰である fact5: 「この手織りが等しいとするとこのノーズは峰だ」ということは誤りでない fact6: 仮にとある物が運営するしその上それが思しいとしたらそれは広がり易くない fact7: 「その板間は等しい」ということは間違っていない fact8: もし仮にこのノーズが等しいとすればこの手織りは峰である fact9: この手織りは等しい ; $hypothesis$ = この手織りは峰である ; $proof$ = 
fact8 & fact2 -> hypothesis; __PROVED__
事実1: その人固有は等しい
事実2: このノーズは等しい
事実3: 広がり易いということはないものは峰であるかもしくは等しい
事実4: このノーズは峰である
事実5: 「この手織りが等しいとするとこのノーズは峰だ」ということは誤りでない
事実6: 仮にとある物が運営するしその上それが思しいとしたらそれは広がり易くない
事実7: 「その板間は等しい」ということは間違っていない
事実8: もし仮にこのノーズが等しいとすればこの手織りは峰である
事実9: この手織りは等しい

仮説: この手織りは峰である
1. 事実8と事実2から、仮説が導かれる

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