この特定目的信託は段取りする
fact1: もしもなんらかのものは女らしいということはないならば「それは段取りしなくてその上それは増え始める」ということは正しい fact2: この特定目的信託は増え始めるししかもそれは段取りする fact3: この夕暮れ時は段取りする
fact2 -> hypothesis;
fact2 -> hypothesis;
この特定目的信託は段取りしない
fact4 -> int1: もしもこの特定目的信託が女らしくないとしたら段取りしないしかつそれは増え始める;
$facts$ = fact1: もしもなんらかのものは女らしいということはないならば「それは段取りしなくてその上それは増え始める」ということは正しい fact2: この特定目的信託は増え始めるししかもそれは段取りする fact3: この夕暮れ時は段取りする ; $hypothesis$ = この特定目的信託は段取りする ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもなんらかのものは女らしいということはないならば「それは段取りしなくてその上それは増え始める」ということは正しい
事実2: この特定目的信託は増え始めるししかもそれは段取りする
事実3: この夕暮れ時は段取りする

仮説: この特定目的信託は段取りする
1. 事実2から、仮説が導かれる

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