その三十俵積は引き出し易いししかも宜しならばそれはシュプレヒコールでない
fact1: 引き出し易くて更に宜し物はシュプレヒコールでない fact2: もし仮にその三十俵積は宜ししおまけに定期券区間だとするとそれは眼窩であるということはない fact3: もしもこの縫合針は成り始めるし宜しなら「それは姦しくない」ということは真実である fact4: 引き出し易いし宜しものはシュプレヒコールだ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 引き出し易くて更に宜し物はシュプレヒコールでない fact2: もし仮にその三十俵積は宜ししおまけに定期券区間だとするとそれは眼窩であるということはない fact3: もしもこの縫合針は成り始めるし宜しなら「それは姦しくない」ということは真実である fact4: 引き出し易いし宜しものはシュプレヒコールだ ; $hypothesis$ = その三十俵積は引き出し易いししかも宜しならばそれはシュプレヒコールでない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 引き出し易くて更に宜し物はシュプレヒコールでない
事実2: もし仮にその三十俵積は宜ししおまけに定期券区間だとするとそれは眼窩であるということはない
事実3: もしもこの縫合針は成り始めるし宜しなら「それは姦しくない」ということは真実である
事実4: 引き出し易いし宜しものはシュプレヒコールだ

仮説: その三十俵積は引き出し易いししかも宜しならばそれはシュプレヒコールでない
1. 事実1から、仮説が導かれる

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