この痒みは恐ろしいということはない
fact1: 仮にとあるものが就職出来ないならそれはぎらつくし揺すり始める fact2: もしも「その陰線はゴーイングであるし加えてそれは潔し」ということは成り立たないならこの痒みは恐ろしいということはない fact3: その陰線は恐ろしくない fact4: 「その陰線がゴーイングだしそれは潔し」ということは嘘である fact5: 仮にこの痒みが揺すり始めるとしたら恐ろしい
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
この痒みは恐ろしい
fact7 -> int1: もしもこの痒みが就職出来るということはないとするとぎらつくしおまけにそれは揺すり始める;
$facts$ = fact1: 仮にとあるものが就職出来ないならそれはぎらつくし揺すり始める fact2: もしも「その陰線はゴーイングであるし加えてそれは潔し」ということは成り立たないならこの痒みは恐ろしいということはない fact3: その陰線は恐ろしくない fact4: 「その陰線がゴーイングだしそれは潔し」ということは嘘である fact5: 仮にこの痒みが揺すり始めるとしたら恐ろしい ; $hypothesis$ = この痒みは恐ろしいということはない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: 仮にとあるものが就職出来ないならそれはぎらつくし揺すり始める
事実2: もしも「その陰線はゴーイングであるし加えてそれは潔し」ということは成り立たないならこの痒みは恐ろしいということはない
事実3: その陰線は恐ろしくない
事実4: 「その陰線がゴーイングだしそれは潔し」ということは嘘である
事実5: 仮にこの痒みが揺すり始めるとしたら恐ろしい

仮説: この痒みは恐ろしいということはない
1. 事実2と事実4から、仮説が導かれる

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